isl_dim_size: handle isl_dim_all
[isl.git] / doc / Makefile.am
blobaa79a6c9516e8d4d0f7fa861d787c641d723e911
1 if GENERATE_DOC
2 export TEXINPUTS := $(srcdir):$(TEXINPUTS)
3 export BIBINPUTS := $(srcdir):$(BIBINPUTS)
4 export BSTINPUTS := $(srcdir):$(BSTINPUTS)
6 user.tex: user.pod
7         $(PERL) $(srcdir)/mypod2latex $< $@
8 manual.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) $<
14 user.html: user.pod
15         (cd ..; echo "@GIT_HEAD_VERSION@") > version
16         $(POD2HTML) --infile=$< --outfile=$@ --title="Integer Set Library: Manual [version `cat version`]"
17 endif