Merge branch 'maint'
[isl.git] / doc / Makefile.am
blob625af68bf99b9b403774f32e1e6acdbd893a7f36
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
22         (cd ..; echo "@GIT_HEAD_VERSION@") > version.tex
23         $(PDFLATEX) $<
24         bibtex 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