summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipdfm-x/pdfdev.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvipdfm-x/pdfdev.c')
-rw-r--r--Build/source/texk/dvipdfm-x/pdfdev.c11
1 files changed, 2 insertions, 9 deletions
diff --git a/Build/source/texk/dvipdfm-x/pdfdev.c b/Build/source/texk/dvipdfm-x/pdfdev.c
index 488d0bf47dd..8186e91896d 100644
--- a/Build/source/texk/dvipdfm-x/pdfdev.c
+++ b/Build/source/texk/dvipdfm-x/pdfdev.c
@@ -31,6 +31,7 @@
#include "system.h"
#include "mem.h"
#include "error.h"
+#include "dpxconf.h"
#include "mfileio.h"
#include "numbers.h"
@@ -52,14 +53,6 @@
#include "pdfdev.h"
-static int verbose = 0;
-
-void
-pdf_dev_set_verbose (void)
-{
- verbose++;
-}
-
/* Not working yet... */
double
pdf_dev_scale (void)
@@ -1469,7 +1462,7 @@ pdf_dev_locate_font (const char *font_name, spt_t ptsize)
/* New font */
mrec = pdf_lookup_fontmap_record(font_name);
- if (verbose > 1)
+ if (dpx_conf.verbose_level > 1)
print_fontmap(font_name, mrec);
font->font_id = pdf_font_findresource(font_name, ptsize * dev_unit.dvi2pts, mrec);