diff options
Diffstat (limited to 'Build/source/texk/dvipsk/loadfont.c')
-rw-r--r-- | Build/source/texk/dvipsk/loadfont.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/loadfont.c b/Build/source/texk/dvipsk/loadfont.c index 1151ae2210c..1c22de9d062 100644 --- a/Build/source/texk/dvipsk/loadfont.c +++ b/Build/source/texk/dvipsk/loadfont.c @@ -333,6 +333,9 @@ loadfont P1C(register fontdesctype *, curfnt) register chardesctype *cd = 0 ; int maxcc = 0 ; int munged = 0 ; + extern int prettycolumn ; + extern int quiet ; + extern char *realnameoffile ; /* * We clear out some pointers: */ @@ -358,6 +361,14 @@ loadfont P1C(register fontdesctype *, curfnt) tfmload(curfnt) ; return ; } + if (!quiet) { + if (strlen(realnameoffile) + prettycolumn > STDOUTSIZE) { + fprintf(stderr, "\n") ; + prettycolumn = 0 ; + } + (void)fprintf(stderr, "<%s>", realnameoffile); + prettycolumn += strlen(realnameoffile) + 2 ; + } #ifdef DEBUG if (dd(D_FONTS)) (void)fprintf(stderr,"Loading pk font %s at %.1fpt\n", |