# 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-misc.tex
-MJOTEX += mjo-proof_by_cases.tex mjo-theorem.tex mjo-topology.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-theorem-star.tex mjo-topology.tex
# Use kpsewhich (from the kpathsea suite) to find the absolute paths
# of the bibtex/mjotex files listed in in $(BIBS)/$(MJOTEX). The SRCS
# The process is kind of like finding a fixpoint of `make` with
# respect to the contents of the aux file.
#
+# Why use the aux file and not the PDF, which is what we really care
+# about? The pdflatex tool currently embeds the creation/modification
+# time into the PDF, so every new version will differ from the last,
+# making comparisons meaningless. This is fixed in pdftex v1.40.17
+# thanks to Debian's SOURCE_DATE_EPOCH initiative. When that version
+# of pdflatex makes it into TeX Live 2016, we can replace this junk
+# with something smarter
+#
$(PN).pdf: $(SRCS) $(PN).aux $(PN).bbl
mv $(PN).aux $(PN).aux.bak
$(LATEX) $< && $(LATEX) $<