$ git diff diff --git a/Makefile b/Makefile index e19737a1..6d6b5f02 100644 --- a/Makefile +++ b/Makefile @@ -18,7 +18,7 @@ publish: $(RELEASEFILES) touch $@ %.pdf: %.dvi - umask 002 ; dvipdfmx -o $@.tmp $< + umask 002 ; dvipdfmx -f ~/texf…