summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/support/texdraw/Makefile.manual
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/support/texdraw/Makefile.manual')
-rw-r--r--Master/texmf-dist/doc/support/texdraw/Makefile.manual15
1 files changed, 15 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/support/texdraw/Makefile.manual b/Master/texmf-dist/doc/support/texdraw/Makefile.manual
new file mode 100644
index 00000000000..49edf40c3f2
--- /dev/null
+++ b/Master/texmf-dist/doc/support/texdraw/Makefile.manual
@@ -0,0 +1,15 @@
+# This trivial Makefile is public domain.
+
+doc = texdraw
+
+pdf $(doc).pdf: $(doc).ps
+ ps2pdf $(doc).ps $(doc).pdf
+
+ps $(doc).ps: $(doc).texi Makefile
+ env TEXINPUTS=..: texi2dvi --ps $(doc).texi
+
+info $(doc).info: $(doc).texi
+ makeinfo $(doc).texi
+
+clean:
+ rm -f $(doc).?? $(doc).???