]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Work around a doxygen bug. 3129/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Sun, 18 Sep 2016 03:16:19 +0000 (21:16 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Sun, 18 Sep 2016 03:16:19 +0000 (21:16 -0600)
doc/doxygen/CMakeLists.txt

index de718fc5a4e7182e88cdda48391b43896b567d6f..d82f84fbda1eaeab152992aeacb87959694830a2 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.