alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tl: work around setup that pass -pvc automatically

Browse source 
* doc/tl/Makefile.am (LATEXMK): Add -pvc- to work around Etienne's
setup.
This commit is contained in:
Alexandre Duret-Lutz 2013-02-20 10:49:59 +01:00
parent 6bd23480ab
commit 370f329671
1 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
doc/tl/Makefile.am
View file

@ -1,5 +1,5 @@
## Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement de ## Copyright (C) 2011, 2012, 2013 Laboratoire de Recherche et
## l'Epita (LRDE). ## Développement de l'Epita (LRDE).
## ##
## This file is part of Spot, a model checking library. ## 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 # The second -e '$$pdflatex... ' line can be replaced by -pdflatex on
# recent version of latexmk; but version 4.13a, installed on some # recent version of latexmk; but version 4.13a, installed on some
# of our hosts, does not support it. # of our hosts, does not support it. Add -pvc- because some people
LATEXMK = BIBINPUTS='$(srcdir)' latexmk -pdf -ps- -dvi- -e '$$bibtex_use=2' \ # 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}\""' -e '$$pdflatex="pdflatex %O \"\\def\\SpotVersion{$(VERSION)}\\input{%S}\""'
dist_pdf_DATA = $(srcdir)/tl.pdf dist_pdf_DATA = $(srcdir)/tl.pdf