diff options
Diffstat (limited to 'doc/mkfile')
| -rw-r--r-- | doc/mkfile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/mkfile b/doc/mkfile new file mode 100644 index 0000000..3a61b6c --- /dev/null +++ b/doc/mkfile @@ -0,0 +1,15 @@ +FONTS='.FP times' +DOCNAME=filmoteca + +all:VQ: $DOCNAME.ps $DOCNAME.pdf + +clean:VQ: + rm -f $DOCNAME.ps $DOCNAME.pdf + +$DOCNAME.ps:V: $DOCNAME.ms + {echo $FONTS; cat $prereq}> _$prereq + eval `{doctype _$prereq} | lp -dstdout > $target && rm -f _$prereq + +$DOCNAME.pdf:V: $DOCNAME.ps + cat /sys/doc/docfonts $prereq > _$prereq + ps2pdf _$prereq $target && rm -f _$prereq |