X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=makefile;h=6cd7eee13b7153b014dd4076b7463f6fa11fc4e8;hb=9bc77f5ad4a2ee2d143c4ec1fc92be4e201d174d;hp=57a493278a0246fab8da0daba7690b894bf1a7cd;hpb=5c1a943a2ae3886693c0361084239aef9da3551c;p=mjotex.git

diff --git a/makefile b/makefile
index 57a4932..6cd7eee 100644
--- a/makefile
+++ b/makefile
@@ -15,8 +15,9 @@ BIBS = references.bib
 # 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
@@ -40,6 +41,14 @@ SRCS = $(PN).tex $(shell kpsewhich $(BIBS)) $(shell kpsewhich $(MJOTEX))
 # 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) $<