diff options
Diffstat (limited to 'gnu/usr.bin/groff/devdvi/Makefile')
-rw-r--r-- | gnu/usr.bin/groff/devdvi/Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gnu/usr.bin/groff/devdvi/Makefile b/gnu/usr.bin/groff/devdvi/Makefile new file mode 100644 index 0000000..95c1717 --- /dev/null +++ b/gnu/usr.bin/groff/devdvi/Makefile @@ -0,0 +1,17 @@ +DEVICE= 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 + +NOOBJ= noobj + +clean cleandir: + rm -f DESC + +DESC: DESC.in + cat ${.CURDIR}/DESC.in >DESC + test -z '${DVIPRINT}' || echo print '${DVIPRINT}' >>DESC + +.include "../Makefile.dev" |