diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 | 
1 files changed, 5 insertions, 7 deletions
@@ -60,8 +60,7 @@ TDS_ZIP = $(NAME).tds.zip  ZIPS = $(CTAN_ZIP) $(TDS_ZIP)  DO_TEX = tex --interaction=batchmode $< >/dev/null -DO_PDFLATEX = pdflatex --interaction=batchmode $< >/dev/null -DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1 +DO_LATEXMK = latexmk -silent $< >/dev/null  # Main targets definition  all: $(GENERATED) @@ -74,10 +73,7 @@ tds: $(TDS_ZIP) Makefile  world: all ctan  %.pdf: %.dtx $(DTXSTY) -	$(DO_PDFLATEX) -	$(DO_MAKEINDEX) || true -	$(DO_PDFLATEX) -	$(DO_PDFLATEX) +	$(DO_LATEXMK)  luatexbase.%.lua: %.lua  	ln -sf $< $@ @@ -173,7 +169,9 @@ manifest:  	@for f in $(GENERATED); do echo $$f; done  clean:  -	@$(RM) -- *.log *.aux *.toc *.idx *.ind *.ilg *.out test-*.pdf +	@latexmk -silent -c *.dtx >/dev/null +	@# for tex-only runs +	@$(RM) -- *.log  mrproper: clean  	@$(RM) -- $(GENERATED) $(ZIPS) $(TMP_LOADER)  | 
