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

diff --git a/Makefile.am b/Makefile.am
index c06771204b..7d42fd3f7e 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -26,6 +26,7 @@ Doxyfile: $(srcdir)/Doxyfile.in
 	  echo "### @@@ -= DO NOT EDIT THIS FILE =- @@@ ###" && \
 	  echo "### @@@ Make changes to Doxyfile.in @@@ ###" && \
 	  sed -e 's,@srcdir\@,$(srcdir),' \
+	    -e 's,@builddir\@,$(builddir),' \
 	    -e 's,@doxygen_as_html\@,$(doxygen_as_html),' \
 	    -e 's,@doxygen_as_pdf\@,$(doxygen_as_pdf),' $< \
 	) > $@
@@ -35,9 +36,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 $*)