From 9bc77f5ad4a2ee2d143c4ec1fc92be4e201d174d Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 28 Apr 2016 07:47:54 -0400 Subject: [PATCH] Add a comment about SOURCE_DATE_EPOCH to the makefile. --- makefile | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/makefile b/makefile index 1486a26..6cd7eee 100644 --- a/makefile +++ b/makefile @@ -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) $< -- 2.44.2