From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Sun, 18 Sep 2016 03:16:19 +0000 (-0600)
Subject: Work around a doxygen bug.
X-Git-Tag: v8.5.0-rc1~660^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F3129%2Fhead;p=dealii.git

Work around a doxygen bug.
---

diff --git a/doc/doxygen/CMakeLists.txt b/doc/doxygen/CMakeLists.txt
index de718fc5a4..d82f84fbda 100644
--- a/doc/doxygen/CMakeLists.txt
+++ b/doc/doxygen/CMakeLists.txt
@@ -75,11 +75,20 @@ CONFIGURE_FILE(
 
 
 #
-# Generate header, footer and style files for doxygen
+# Generate header, footer and style files for doxygen.
+#
+# A bug in (at least) doxygen 1.8.12 required that these files already exist
+# if they are listed in the options.dox file, even though the -w command is
+# specifically intended to create them. See
+#    https://bugzilla.gnome.org/show_bug.cgi?id=771606
+# To work around this, do a 'touch' operation in them first to ensure they're
+# there before we call "doxygen -w".
 #
 ADD_CUSTOM_COMMAND(
   OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/header.html
-    ${CMAKE_CURRENT_BINARY_DIR}/footer.html
+         ${CMAKE_CURRENT_BINARY_DIR}/footer.html
+  COMMAND ${CMAKE_COMMAND} -E touch header.html
+  COMMAND ${CMAKE_COMMAND} -E touch footer.html
   COMMAND ${DOXYGEN_EXECUTABLE} -w html header.html footer.html style.css options.dox
   COMMAND ${PERL_EXECUTABLE} -pi~ ${CMAKE_CURRENT_BINARY_DIR}/scripts/mod_header.pl header.html
   COMMAND ${PERL_EXECUTABLE} -pi~ ${CMAKE_CURRENT_BINARY_DIR}/scripts/mod_footer.pl footer.html