X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=Makefile.am;h=c06771204b218920a926ca9312d958a2b6347cf0;hp=be42c2832a5be83ef8891b2af097d4b6773620f9;hb=c049033fde1592e1bfa922641034c1ab136e0b47;hpb=94975c96d4f1f614e0877cac32ed5949cd0235f6

diff --git a/Makefile.am b/Makefile.am
index be42c2832a..c06771204b 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -25,7 +25,9 @@ Doxyfile: $(srcdir)/Doxyfile.in
 	@( \
 	  echo "### @@@ -= DO NOT EDIT THIS FILE =- @@@ ###" && \
 	  echo "### @@@ Make changes to Doxyfile.in @@@ ###" && \
-	  sed -e 's,@srcdir\@,$(srcdir),' $< \
+	  sed -e 's,@srcdir\@,$(srcdir),' \
+	    -e 's,@doxygen_as_html\@,$(doxygen_as_html),' \
+	    -e 's,@doxygen_as_pdf\@,$(doxygen_as_pdf),' $< \
 	) > $@
 
 THE_MANUAL = doxygen/latex/refman.pdf