isl_map_simplify.c: int_between_bounds: create tableau on demand
[isl.git] / doc / Makefile.am
bloba2def5a6783a73591629314aa6dea5a20fd3eea6
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
14 if GENERATE_DOC
15 export TEXINPUTS := $(srcdir):$(TEXINPUTS)
16 export BIBINPUTS := $(srcdir):$(BIBINPUTS)
17 export BSTINPUTS := $(srcdir):$(BSTINPUTS)
19 user.tex: user.pod
20         $(PERL) $(srcdir)/mypod2latex $< $@
21 manual.pdf: manual.tex user.tex $(srcdir)/implementation.tex reading.tex
22         (cd ..; echo "@GIT_HEAD_VERSION@") > version.tex
23         $(PDFLATEX) $<
24         biber manual
25         $(PDFLATEX) $<
26         $(PDFLATEX) $<
27 user.html: user.pod
28         (cd ..; echo "@GIT_HEAD_VERSION@") > version
29         $(POD2HTML) --infile=$< --outfile=$@ --title="Integer Set Library: Manual [version `cat version`]"
30 endif