From 58f99203adc34ddf22c50e5223f6dce1c4faeae4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 12 Jan 2012 14:35:39 +0100 Subject: [PATCH] * doc/tl/Makefile.am: Fix timestamp issue causing distcheck failure. --- doc/tl/Makefile.am | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/doc/tl/Makefile.am b/doc/tl/Makefile.am index be12bf8a9..f72c07a85 100644 --- a/doc/tl/Makefile.am +++ b/doc/tl/Makefile.am @@ -1,4 +1,4 @@ -## Copyright (C) 2011 Laboratoire de Recherche et Développement de +## Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement de ## l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. @@ -30,9 +30,16 @@ LATEXMK = BIBINPUTS='$(srcdir)' latexmk -pdf -ps- -dvi- -e '$$bibtex_use=2' \ dist_pdf_DATA = $(srcdir)/tl.pdf EXTRA_DIST = tl.tex tl.bib +# latexmk produces its output in the current directory, and may not +# update its timestamp when no rebuild was necessary. This can cause +# latexmk to be called again and again even when there is nothing to +# do, and this is unacceptable (we don't want to require latexmk for +# people that do not change the documentation). Hence the "touch" +# below. In case of a VPATH build, we always copy the file, so the +# timestamp is updated anyway. $(srcdir)/tl.pdf: $(srcdir)/tl.tex $(srcdir)/tl.bib $(LATEXMK) $(srcdir)/tl.tex - test '$(srcdir)' = '.' || cp tl.pdf $@ + if test '$(srcdir)' = '.'; then touch $@; else cp tl.pdf $@; fi pvc: $(LATEXMK) -pvc $(srcdir)/tl.tex