diff options
Diffstat (limited to 'es/mkfile')
| -rw-r--r-- | es/mkfile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/es/mkfile b/es/mkfile new file mode 100644 index 0000000..f79a01b --- /dev/null +++ b/es/mkfile @@ -0,0 +1,15 @@ +FONTS='.FP times' +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 |