make pdf generation much more reproducible -- now basically only timestamps change

diff --git a/openpower/Makefile b/openpower/Makefile
index dfc8388614a11e3f4c3e22a4c934aa245c0d4333..0d4f575cf114588d093ca3b93d2076bd5b429db2 100755 (executable)
--- a/openpower/Makefile
+++ b/openpower/Makefile
@@ -422,9 +422,15 @@ tex_out/pseudocode_fpcvt.tex : $(ISA_DIR)/fpcvt.mdwn
                        -N -o tex_out/pseudocode_fpcvt.tex \
                        $(ISA_DIR)/fpcvt.mdwn
 
-
-
-simple_v_spec.pdf : tex simple_v_spec.tex
+simple_v_spec.pdf : $(SOURCE_TEX) simple_v_spec.tex
+       # clean up old files to make it more reproducable
+       rm -vfr simple_v_spec.aux simple_v_spec.log simple_v_spec.pdf \
+                       simple_v_spec.out simple_v_spec.toc simple_v_spec.bbl \
+                       simple_v_spec.blg simple_v_spec.synctex.gz \
+                       svp64-primer/summary.aux
+       # run pdflatex twice because the first run creates files needed to
+       # properly create the PDF outline by the second run
+       pdflatex -synctex=1 -interaction=nonstopmode simple_v_spec.tex
        pdflatex -synctex=1 -interaction=nonstopmode simple_v_spec.tex
        bibtex simple_v_spec.aux