if GENERATE_DOC
export TEXINPUTS := $(srcdir):$(TEXINPUTS)
export BIBINPUTS := $(srcdir):$(BIBINPUTS)
export BSTINPUTS := $(srcdir):$(BSTINPUTS)

user.tex: user.pod
	$(PERL) $(srcdir)/mypod2latex $< $@
manual.pdf: manual.tex user.tex $(srcdir)/implementation.tex
	(cd ..; echo "@GIT_HEAD_VERSION@") > version.tex
	$(PDFLATEX) $<
	bibtex manual
	$(PDFLATEX) $<
	$(PDFLATEX) $<
user.html: user.pod
	(cd ..; echo "@GIT_HEAD_VERSION@") > version
	$(POD2HTML) --infile=$< --outfile=$@ --title="Integer Set Library: Manual [version `cat version`]"
endif