diff options
Diffstat (limited to 'pdf/Makefile')
| -rw-r--r-- | pdf/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pdf/Makefile b/pdf/Makefile index 8df3d66..b2b3ab9 100644 --- a/pdf/Makefile +++ b/pdf/Makefile @@ -16,8 +16,9 @@ all pdf: $(PDF) mostlyclean: latexmk $(LATEXMK_FLAGS) -c + rm -f $(FILES:%=%.synctex.*) -clean: - latexmk $(LATEXMK_FLAGS) -C +clean: mostlyclean + rm -f $(PDF) .PHONY: all pdf mostlyclean clean |