diff options
Diffstat (limited to 'cloog-0.17.0/isl/doc/Makefile.am')
| -rw-r--r-- | cloog-0.17.0/isl/doc/Makefile.am | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/cloog-0.17.0/isl/doc/Makefile.am b/cloog-0.17.0/isl/doc/Makefile.am deleted file mode 100644 index aa79a6c..0000000 --- a/cloog-0.17.0/isl/doc/Makefile.am +++ /dev/null @@ -1,17 +0,0 @@ -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 |