]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Do not unnecessarily create backup files that then litter the build directory. 7255/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 2 Oct 2018 15:41:03 +0000 (09:41 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Tue, 2 Oct 2018 15:46:10 +0000 (09:46 -0600)
doc/doxygen/CMakeLists.txt

index 50a1d3b7d0bf3439c84f96b98a9af4d83ffae2ea..bd5c4205add4496cfba15527964e2aa4940359cd 100644 (file)
@@ -135,8 +135,8 @@ ADD_CUSTOM_COMMAND(
   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
+  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
   WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
   DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/options.dox
     ${CMAKE_CURRENT_BINARY_DIR}/scripts/mod_header.pl

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.