diff options
Diffstat (limited to 'support/chklref/doc/Makefile')
-rw-r--r-- | support/chklref/doc/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/support/chklref/doc/Makefile b/support/chklref/doc/Makefile new file mode 100644 index 0000000000..4faf33d891 --- /dev/null +++ b/support/chklref/doc/Makefile @@ -0,0 +1,13 @@ +.PHONY: all clean cleanall + +all: chklref.pdf clean + +chklref.pdf: chklref.tex + pdflatex chklref.tex + pdflatex chklref.tex + +clean: + rm -f chklref.log chklref.aux chklref.out chklref.fls chklref.fdb_latexmk chklref.synctex.gz + +cleanall: clean + rm -f chklref.pdf |