diff options
Diffstat (limited to 'font')
| -rw-r--r-- | font/devhtml/DESC.proto | 2 | ||||
| -rw-r--r-- | font/devhtml/Makefile.sub | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/font/devhtml/DESC.proto b/font/devhtml/DESC.proto index 9a2fbe57..db407f7b 100644 --- a/font/devhtml/DESC.proto +++ b/font/devhtml/DESC.proto @@ -5,7 +5,7 @@ unitwidth 10 sizes 1-1000 0 fonts 9 R I B BI CR CI CB CBI S tcommand -html +unscaled_charwidths postpro post-grohtml prepro pre-grohtml use_charnames_in_special diff --git a/font/devhtml/Makefile.sub b/font/devhtml/Makefile.sub index 8afe0376..474c0f28 100644 --- a/font/devhtml/Makefile.sub +++ b/font/devhtml/Makefile.sub @@ -31,4 +31,4 @@ DESC: DESC.proto -e "s/^vert .*$$/vert `expr $(RES) / $(LPI)`/" \ -e "s/^fonts .*$$/fonts `set $(FONTS); echo $$#` $(FONTS)/" \ $(srcdir)/DESC.proto >$@ - + @echo "image_generator $(GHOSTSCRIPT)" >> $@ |