+pdflatex::
+ @[ -d pdflatex ] || mkdir pdflatex >/dev/null 2>&1
+
+pdflatex/reference.tex:
+ @if [ "${DOXYGEN}" ]; then \
+ echo "Running ${DOXYGEN} DoxyfilePDF..."; \
+ ${DOXYGEN} DoxyfilePDF; \
+ mv pdflatex/refman.tex pdflatex/reference.tex; \
+ else \
+ echo "warning: target reference.pdf disabled by configuration"; \
+ fi
+
+pdflatex/reference.pdf: pdflatex/reference.tex
+ @if [ "${PDFLATEX}" -a "${MAKEINDEX}" ]; then \
+ (cd pdflatex; \
+ ${PDFLATEX} reference.tex && \
+ ${MAKEINDEX} reference.idx && \
+ ${PDFLATEX} reference.tex); \
+ else \
+ echo "warning: target reference.pdf disabled by configuration"; \
+ fi