]> gitweb.michael.orlitzky.com - mjotex.git/blobdiff - makefile
Remove the left margin from proof-by-cases and indent its paragraphs.
[mjotex.git] / makefile
index 6e87253adffbc24d174f1271b984fb2ebc983632..cfe6f2016f92e8f6fd580bad4267521ab6f00df4 100644 (file)
--- a/makefile
+++ b/makefile
@@ -6,7 +6,7 @@
 LATEX = pdflatex -file-line-error -halt-on-error
 
 # The name of this document.
-PN := paper
+PN = paper
 
 # A space-separated list of bib files. These must all belong to paths
 # contained in your $BIBINPUTS environment variable.
@@ -99,14 +99,18 @@ $(PN).bbl: $(SRCS) | $(PN).aux
        bibtex $(PN).aux
 
 
+# Run chktex to find silly mistakes. There is some exit code weirdness
+# (Savannah bug 45979), so we just look for empty output.
+.PHONY: check
+check:
+       @[ -z "$(shell chktex --quiet mjotex.sty)" ]
+
 # Clean up leftover junk.
 .PHONY: clean
 clean:
        rm -f *.{aux,bbl,bcf,bib,blg,lof,log,nav,out,pdf,snm,toc,xml}
        rm -rf dist/
 
-
-
 # If this document will be published, the publisher isn't going to
 # have your BibTeX database or your mjotex files. So, you need to
 # package them up along with the code for your document. This target