From 0c3c8d97316d4bb76a12d8c5fd77c2d95fcd0921 Mon Sep 17 00:00:00 2001
From: rgl <devnull@localhost>
Date: Sun, 5 Jan 2020 11:52:01 +0100
Subject: initial commit.

---
 doc/mkfile | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 doc/mkfile

(limited to 'doc/mkfile')

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
-- 
cgit v1.2.3