1if GENERATE_DOC
2export TEXINPUTS := $(srcdir):$(TEXINPUTS)
3export BIBINPUTS := $(srcdir):$(BIBINPUTS)
4export BSTINPUTS := $(srcdir):$(BSTINPUTS)
5
6user.tex: user.pod
7	$(PERL) $(srcdir)/mypod2latex $< $@
8manual.pdf: manual.tex user.tex $(srcdir)/implementation.tex
9	(cd ..; echo "@GIT_HEAD_VERSION@") > version.tex
10	$(PDFLATEX) $<
11	bibtex manual
12	$(PDFLATEX) $<
13	$(PDFLATEX) $<
14user.html: user.pod
15	(cd ..; echo "@GIT_HEAD_VERSION@") > version
16	$(POD2HTML) --infile=$< --outfile=$@ --title="Integer Set Library: Manual [version `cat version`]"
17endif
18