From 370f32967103be3d9f1b92550a8706405873c44b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 20 Feb 2013 10:49:59 +0100 Subject: [PATCH] tl: work around setup that pass -pvc automatically * doc/tl/Makefile.am (LATEXMK): Add -pvc- to work around Etienne's setup. --- doc/tl/Makefile.am | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/doc/tl/Makefile.am b/doc/tl/Makefile.am index 489f4e2cd..7eb2590eb 100644 --- a/doc/tl/Makefile.am +++ b/doc/tl/Makefile.am @@ -1,5 +1,5 @@ -## Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement de -## l'Epita (LRDE). +## Copyright (C) 2011, 2012, 2013 Laboratoire de Recherche et +## Développement de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## @@ -21,8 +21,10 @@ all: $(srcdir)/tl.pdf # The second -e '$$pdflatex... ' line can be replaced by -pdflatex on # recent version of latexmk; but version 4.13a, installed on some -# of our hosts, does not support it. -LATEXMK = BIBINPUTS='$(srcdir)' latexmk -pdf -ps- -dvi- -e '$$bibtex_use=2' \ +# of our hosts, does not support it. Add -pvc- because some people +# turn pvc on in their config file. +LATEXMK = BIBINPUTS='$(srcdir)' latexmk -pdf -ps- -dvi- -pvc- \ + -e '$$bibtex_use=2' \ -e '$$pdflatex="pdflatex %O \"\\def\\SpotVersion{$(VERSION)}\\input{%S}\""' dist_pdf_DATA = $(srcdir)/tl.pdf