diff options
Diffstat (limited to 'font/devdvi/Makefile.sub')
| -rw-r--r-- | font/devdvi/Makefile.sub | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/font/devdvi/Makefile.sub b/font/devdvi/Makefile.sub index f6536152..e3d09a25 100644 --- a/font/devdvi/Makefile.sub +++ b/font/devdvi/Makefile.sub @@ -14,4 +14,9 @@ CLEANADD=DESC DESC: DESC.in cat $(srcdir)/DESC.in >DESC + if test "$(PAGE)" = A4; then \ + echo "papersize a4" >>DESC; \ + else \ + echo "papersize letter" >>DESC; \ + fi test -z '$(DVIPRINT)' || echo print '$(DVIPRINT)' >>DESC |