diff options
| author | rgl <devnull@localhost> | 2020-01-05 11:52:01 +0100 |
|---|---|---|
| committer | rgl <devnull@localhost> | 2020-01-05 11:52:01 +0100 |
| commit | 0c3c8d97316d4bb76a12d8c5fd77c2d95fcd0921 (patch) | |
| tree | e524cd465fad9d77de5bcee559c025aec62274af /doc/mkfile | |
| download | filmoteca-0c3c8d97316d4bb76a12d8c5fd77c2d95fcd0921.tar.gz filmoteca-0c3c8d97316d4bb76a12d8c5fd77c2d95fcd0921.tar.bz2 filmoteca-0c3c8d97316d4bb76a12d8c5fd77c2d95fcd0921.zip | |
initial commit.
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 |