diff options
Diffstat (limited to 'gnu/usr.bin/groff/devdvi/Makefile')
| -rw-r--r-- | gnu/usr.bin/groff/devdvi/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gnu/usr.bin/groff/devdvi/Makefile b/gnu/usr.bin/groff/devdvi/Makefile new file mode 100644 index 000000000000..312c8d28771f --- /dev/null +++ b/gnu/usr.bin/groff/devdvi/Makefile @@ -0,0 +1,18 @@ +DEV= dvi +FONTFILES= R I B BI CW MI S EX H HI HB SA SB DESC $(DEVGENFILES) +DEVGENFILES= 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 generate/cork.map + +CLEANFILES+= DESC + +DEVFILES= $(FONTFILES) + +.include "../Makefile.inc" + +DESC: DESC.in + cat ${DISTDIR}/DESC.in >DESC + test -z '${DVIPRINT}' || echo print '${DVIPRINT}' >>DESC + +.include "../Makefile.dev" |