diff options
| -rw-r--r-- | Makefile.am | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/Makefile.am b/Makefile.am index c0677120..fab47046 100644 --- a/Makefile.am +++ b/Makefile.am @@ -35,9 +35,14 @@ THE_MANUAL = doxygen/latex/refman.pdf doxygen:: $(MAKE) Doxyfile doxygen Doxyfile 2>&1 | perl $(srcdir)/tools/logger.pl > doxygen.log - $(MAKE) $(THE_MANUAL) - -%.pdf: %.tex + @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 $*) |