]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Improve the message for 'make strip_comments'. 7194/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Fri, 14 Sep 2018 22:59:56 +0000 (16:59 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Fri, 14 Sep 2018 22:59:56 +0000 (16:59 -0600)
cmake/macros/macro_deal_ii_invoke_autopilot.cmake

index 4d494eec97ef99d777eb2f5ba11dad048194567e..0db848ec664b8e5671caf79f263dd0cc0a32eeeb 100644 (file)
@@ -214,7 +214,7 @@ ${_switch_targets}#
   IF(PERL_FOUND)
     FILE(APPEND ${CMAKE_BINARY_DIR}${CMAKE_FILES_DIRECTORY}/print_usage.cmake
 "#      ${_make_command} strip_comments - to strip the source files in this
-#                               directory off the documentation comments
+#                               directory off their comments; this is irreversible
 ")
   ENDIF()
   FILE(APPEND ${CMAKE_BINARY_DIR}${CMAKE_FILES_DIRECTORY}/print_usage.cmake

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.