X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=GNUmakefile;h=8f9fc6be76dda4c376ae9f47754fd1037d6caf05;hb=7321e6c665f3b9797bb7a76618e6419a33357e6c;hp=fd37d92ed60c5af1bf9eca5b992a5f23c38afbd9;hpb=1b40cbe35048b6a665c71444acd867c42b7255f9;p=mjotex.git

diff --git a/GNUmakefile b/GNUmakefile
index fd37d92..8f9fc6b 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -17,9 +17,9 @@ PN = examples
 
 # A space-separated list of the mjotex files that you use. The path to
 # mjotex must be contain in your $TEXINPUTS environment variable.
-MJOTEX  = mjo-algorithm.tex mjo-arrow.tex mjo-common.tex mjo-cone.tex
-MJOTEX += mjo-convex.tex mjo-font.tex mjo-linear_algebra.tex mjo-listing.tex
-MJOTEX += mjo-misc.tex mjo-proof_by_cases.tex mjo-theorem.tex
+MJOTEX  = mjo-algorithm.tex mjo-arrow.tex mjo-common.tex mjo-complex.tex
+MJOTEX += mjo-cone.tex mjo-convex.tex mjo-font.tex mjo-linear_algebra.tex
+MJOTEX += mjo-listing.tex mjo-misc.tex mjo-proof_by_cases.tex mjo-theorem.tex
 MJOTEX += mjo-theorem-star.tex mjo-topology.tex mjo.bst
 
 # Use kpsewhich (from the kpathsea suite) to find the absolute paths
@@ -119,11 +119,35 @@ else
 	echo -n '' > $@
 endif
 
+# If the output PDF exists but the log file does not, then an attempt
+# to "build the log file" (i.e. build the PDF) would do nothing. Thus
+# whenever the log file does not exist, we do a fresh build.
+$(PN).log: $(SRCS)
+	$(MAKE) clean
+	$(MAKE)
+
+# Ensure that there are no overfull or underfull boxes in the output
+# document by parsing the log for said warnings.
+.PHONY: check-boxes
+check-boxes: $(PN).log
+	@! grep -i 'overfull\|underfull' $<
+
 # Run chktex to find silly mistakes. There is some exit code weirdness
 # (Savannah bug 45979), so we just look for empty output.
+.PHONY: check-chktex
+CHKTEX = chktex --localrc .chktexrc --quiet --inputfiles=0
+check-chktex:
+	@[ -z "$(shell $(CHKTEX) mjotex.sty)" ]
+
+# Ensure that there are no undefined references in the document by
+# parsing the log file for said warnings.
+.PHONY: check-undefined
+check-undefined: $(PN).log
+	@! grep -i 'undefined' $<
+
+# Run a suite of checks.
 .PHONY: check
-check:
-	@[ -z "$(shell chktex --quiet mjotex.sty)" ]
+check: check-boxes check-chktex check-undefined
 
 # Clean up leftover junk. This only looks overcomplicated because
 # the *.{foo,bar} syntax supported by Bash is not POSIX, and Make