X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=Makefile.am;h=fab470466631b80ee1748d74a8b5a794f45e1939;hp=c06771204b218920a926ca9312d958a2b6347cf0;hb=12b67a2b41557160b8daa23305cbc30a349588c1;hpb=0091e59d2a18c293fd952a9d707e609afdd6b17f

diff --git a/Makefile.am b/Makefile.am
index c06771204b..fab4704666 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 $*)