diff options
Diffstat (limited to 'Master/texmf-dist/doc/support/texdraw/Makefile.manual')
-rw-r--r-- | Master/texmf-dist/doc/support/texdraw/Makefile.manual | 15 |
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).??? |