Add a comment about SOURCE_DATE_EPOCH to the makefile.

[mjotex.git] / makefile

diff --git a/makefile b/makefile
index 521281ab0a791a4348be6d8d0593a5b473384a3b..6cd7eee13b7153b014dd4076b7463f6fa11fc4e8 100644 (file)
--- a/makefile
+++ b/makefile
@@ -15,9 +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-theorem-star.tex
-MJOTEX += 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
@@ -41,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) $<