2018-07-03 21:52:50 +02:00
|
|
|
|
|
|
|
|
CLEANFILES = \
|
|
|
|
|
manual.toc \
|
|
|
|
|
manual.bbl \
|
|
|
|
|
version.tex \
|
|
|
|
|
user.tex \
|
|
|
|
|
manual.pdf \
|
|
|
|
|
manual.aux \
|
|
|
|
|
manual.out \
|
|
|
|
|
manual.blg \
|
|
|
|
|
manual.log \
|
|
|
|
|
manual.brf \
|
|
|
|
|
manual.bcf \
|
|
|
|
|
manual.run.xml
|
|
|
|
|
|
2014-01-27 21:38:34 +01:00
|
|
|
if GENERATE_DOC
|
|
|
|
|
export TEXINPUTS := $(srcdir):$(TEXINPUTS)
|
|
|
|
|
export BIBINPUTS := $(srcdir):$(BIBINPUTS)
|
|
|
|
|
export BSTINPUTS := $(srcdir):$(BSTINPUTS)
|
|
|
|
|
|
|
|
|
|
user.tex: user.pod
|
|
|
|
|
$(PERL) $(srcdir)/mypod2latex $< $@
|
2018-07-03 21:52:50 +02:00
|
|
|
manual.pdf: manual.tex user.tex $(srcdir)/implementation.tex reading.tex
|
2014-01-27 21:38:34 +01:00
|
|
|
(cd ..; echo "@GIT_HEAD_VERSION@") > version.tex
|
|
|
|
|
$(PDFLATEX) $<
|
2018-07-03 21:52:50 +02:00
|
|
|
biber manual
|
2014-01-27 21:38:34 +01:00
|
|
|
$(PDFLATEX) $<
|
|
|
|
|
$(PDFLATEX) $<
|
|
|
|
|
user.html: user.pod
|
|
|
|
|
(cd ..; echo "@GIT_HEAD_VERSION@") > version
|
|
|
|
|
$(POD2HTML) --infile=$< --outfile=$@ --title="Integer Set Library: Manual [version `cat version`]"
|
|
|
|
|
endif
|
