diff options
Diffstat (limited to 'macros/latex/contrib/indextools/makefile')
-rw-r--r-- | macros/latex/contrib/indextools/makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/macros/latex/contrib/indextools/makefile b/macros/latex/contrib/indextools/makefile new file mode 100644 index 0000000000..aa9536e1b7 --- /dev/null +++ b/macros/latex/contrib/indextools/makefile @@ -0,0 +1,16 @@ +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 + ln README.md README +%.sty: %.dtx + pdflatex $*.dtx +%.pdf: %.dtx + latexmk $*.dtx + +clean: + @$(RM) *.pdf *.toc *.aux *.out *.fdb_latexmk *.log *.bbl *.bcf *.blg *run.xml *.synctex.gz* |