diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/indextools/makefile')
-rw-r--r-- | Master/texmf-dist/doc/latex/indextools/makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/indextools/makefile b/Master/texmf-dist/doc/latex/indextools/makefile new file mode 100644 index 00000000000..c5392aa39e3 --- /dev/null +++ b/Master/texmf-dist/doc/latex/indextools/makefile @@ -0,0 +1,14 @@ +FILES = *dtx *pdf README makefile latexmkrc +dist: indextools.pdf indextools.sty + @$(RM) ../indextools.zip + rm -rf indextools + mkdir indextools + ln $(FILES) indextools + zip -r ../indextools.zip indextools +README: README.md + cp README.md README +%.pdf %.sty: %.dtx + latexmk *dtx + +clean: + @$(RM) *.pdf *.toc *.aux *.out *.fdb_latexmk *.log *.bbl *.bcf *.blg *run.xml *.synctex.gz* |