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