?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
add isl_set_count
[isl.git] / doc / Makefile.am
blobf7ea0db30a0078a2e902f8136b14e1b5199e7dd0
1 if GENERATE_DOC
2 user.tex: user.pod
3         $(PERL) $(srcdir)/mypod2latex $< $@
4 manual.pdf: manual.tex user.tex
5         $(PDFLATEX) $<
6         $(PDFLATEX) $<
7 user.html: user.pod
8         $(POD2HTML) --infile=$< --outfile=$@ --title="Integer Set Library: Manual"
9 endif
Integer set library