+CLEANFILES += *.aux *.out *.log *.toc *.ind *.idx *.ilg
+EXTRA_DIST += $(TEX_FILES) $(BIB_FILES)
+
+TEXFLAGS = --interaction=batchmode \
+ --output-directory=$(abs_builddir)
+BIBTEXFLAGS = --terse
+MAKEINDEXFLAGS = -q
+
+V_LATEX = $(V_LATEX_@AM_V@)
+V_LATEX_ = $(V_LATEX_@AM_DEFAULT_V@)
+V_LATEX_0 = @echo " LATEX $@";
+
+V_BIBTEX = $(V_BIBTEX_@AM_V@)
+V_BIBTEX_ = $(V_BIBTEX_@AM_DEFAULT_V@)
+V_BIBTEX_0 = @echo " BIBTEX $@";
+
+V_MAKEINDEX = $(V_MAKEINDEX_@AM_V@)
+V_MAKEINDEX_ = $(V_MAKEINDEX_@AM_DEFAULT_V@)
+V_MAKEINDEX_0 = @echo " MAKEIDX $@";
+
+run_pdflatex = $(V_LATEX)cd $(srcdir) && \
+ version=$$(echo '$(VERSION)' | sed 's/~/\\textasciitilde /g') && \
+ $(PDFLATEX) $(TEXFLAGS) \
+ --jobname=$(basename $1) \
+ "\def\pkgversion{$$version}\input{$1}"