+ @if [ -f doxygen/latex/refman.tex ]; then \
+ echo "Creating $(THE_MANUAL)..."; \
+ $(MAKE) $(THE_MANUAL); \
+ else \
+ echo "Skipping Doxygen PDF..."; \
+ fi
+
+$(THE_MANUAL): %.pdf: %.tex
+ -cd $$(dirname $*) && pdflatex $$(basename $*)
+ -cd $$(dirname $*) && pdflatex $$(basename $*)