diff options
Diffstat (limited to 'devdvi/Makefile.sub')
| -rw-r--r-- | devdvi/Makefile.sub | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devdvi/Makefile.sub b/devdvi/Makefile.sub new file mode 100644 index 000000000..8c3248fdf --- /dev/null +++ b/devdvi/Makefile.sub @@ -0,0 +1,11 @@ +DEV=dvi +DEVFILES=DESC R I B BI CW MI S EX H HI HB SA SB \ + generate/CompileFonts generate/Makefile generate/msam.map generate/msbm.map \ + generate/texb.map generate/texex.map generate/texi.map generate/texmi.map \ + generate/texr.map generate/texsy.map generate/textt.map + +CLEANADD=DESC + +DESC: DESC.in + cat $(srcdir)/DESC.in >DESC + test -z '$(DVIPRINT)' || echo print '$(DVIPRINT)' >>DESC |