CLEANFILES = \
	manual.toc \
	manual.bbl \
	version.tex \
	user.tex \
	manual.pdf \
	manual.aux \
	manual.out \
	manual.blg \
	manual.log \
	manual.brf \
	manual.bcf \
	manual.run.xml

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 reading.tex
	(cd ..; echo "@GIT_HEAD_VERSION@") > version.tex
	$(PDFLATEX) $<
	biber 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