+
+AC_ARG_ENABLE(doxygen-html,
+ AS_HELP_STRING([--disable-doxygen-html],
+ [Disable building Doxygen manual as HTML.]),
+ [doxygen_as_html=$enableval], [doxygen_as_html=yes])
+AC_SUBST(doxygen_as_html)
+AC_MSG_CHECKING([whether to build Doxygen as HTML])
+AC_MSG_RESULT($doxygen_as_html)
+
+AC_ARG_ENABLE(doxygen-pdf,
+ AS_HELP_STRING([--enable-doxygen-pdf],
+ [Enable building Doxygen manual as PDF.]),
+ [doxygen_as_pdf=$enableval], [doxygen_as_pdf=no])
+AC_SUBST(doxygen_as_pdf)
+AC_MSG_CHECKING([whether to build Doxygen as PDF])
+AC_MSG_RESULT($doxygen_as_pdf)
+
+