isl_local_space_divs_known: extract out isl_local_divs_known
[isl.git] / doc / Makefile.am
blob1d61dd7775a487929a6b89cc888502c1bbad4f5d
2 CLEANFILES = \
3         manual.toc \
4         manual.bbl \
5         version.tex \
6         user.tex \
7         manual.pdf \
8         manual.aux \
9         manual.out \
10         manual.blg \
11         manual.log \
12         manual.brf \
13         manual.bcf \
14         manual.run.xml
16 if GENERATE_DOC
17 export TEXINPUTS := $(srcdir):$(TEXINPUTS)
18 export BIBINPUTS := $(srcdir):$(BIBINPUTS)
19 export BSTINPUTS := $(srcdir):$(BSTINPUTS)
21 user.tex: user.pod
22         $(PERL) $(srcdir)/mypod2latex $< $@
23 manual.pdf: manual.tex user.tex $(srcdir)/implementation.tex reading.tex
24         (cd ..; echo "@GIT_HEAD_VERSION@") > version.tex
25         $(PDFLATEX) $<
26         biber manual
27         $(PDFLATEX) $<
28         $(PDFLATEX) $<
29 user.html: user.pod
30         (cd ..; echo "@GIT_HEAD_VERSION@") > version
31         $(POD2HTML) --infile=$< --outfile=$@ --title="Integer Set Library: Manual [version `cat version`]"
32 endif