diff options
Diffstat (limited to 'doc/descent/mkfile')
| -rw-r--r-- | doc/descent/mkfile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/descent/mkfile b/doc/descent/mkfile new file mode 100644 index 00000000..bdacae07 --- /dev/null +++ b/doc/descent/mkfile @@ -0,0 +1,15 @@ +<../fonts.pal + +descent.pdf:D: descent.ps + +descent.ps:D: descent.ms f1.ps f2.ps f3.ps mkfile + {echo $FONTS; cat descent.ms} | tbl | troff -mpm -mpictures | dpost >$target + +%.ps: %.gif + dpost <$stem.gif >$stem.ps + +%.ps: %.bit + aux/p9bitpost -b100 <$stem.bit >$stem.ps + +%.pdf: %.ps + ps2pdf <$stem.ps >$stem.pdf |