From: Wolfgang Bangerth Date: Thu, 16 Dec 2021 04:53:04 +0000 (-0700) Subject: Rename 'filter' to 'filter.pl'. X-Git-Tag: v9.4.0-rc1~729^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bab5640675901d8df7a8affcca8ead96a327c134;p=dealii.git Rename 'filter' to 'filter.pl'. --- diff --git a/doc/doxygen/CMakeLists.txt b/doc/doxygen/CMakeLists.txt index f5a7da73c6..05520844eb 100644 --- a/doc/doxygen/CMakeLists.txt +++ b/doc/doxygen/CMakeLists.txt @@ -297,7 +297,7 @@ ADD_CUSTOM_COMMAND( ${CMAKE_CURRENT_BINARY_DIR}/header.html ${CMAKE_CURRENT_BINARY_DIR}/footer.html ${CMAKE_CURRENT_SOURCE_DIR}/DoxygenLayout.xml - ${CMAKE_CURRENT_SOURCE_DIR}/scripts/filter + ${CMAKE_CURRENT_SOURCE_DIR}/scripts/filter.pl ${_doxygen_depend} expand_all_instantiations COMMENT "Generating documentation via doxygen." diff --git a/doc/doxygen/options.dox.in b/doc/doxygen/options.dox.in index 503d3e9086..7ea92dfa0e 100644 --- a/doc/doxygen/options.dox.in +++ b/doc/doxygen/options.dox.in @@ -75,12 +75,12 @@ EXAMPLE_PATH = @CMAKE_BINARY_DIR@/doc/doxygen/tutorial \ @CMAKE_SOURCE_DIR@/examples/doxygen EXAMPLE_RECURSIVE = NO IMAGE_PATH = -INPUT_FILTER = ${CMAKE_SOURCE_DIR}/doc/doxygen/scripts/filter +INPUT_FILTER = ${CMAKE_SOURCE_DIR}/doc/doxygen/scripts/filter.pl FILTER_SOURCE_FILES = YES # Have some user defined commands that we can use in the documentation # and that expands to specific text. For some more transformations, see -# the scripts/filter perl script that is run over the header files before +# the scripts/filter.pl perl script that is run over the header files before # doxygen sees it and that can expand more complex expressions. ALIASES += dealiiRequiresUpdateFlags{1}="@note For this function to work properly, the underlying FEValues, FEFaceValues, or FESubfaceValues object on which you call it must have computed the information you are requesting. To do so, the \1 flag must be an element of the list of UpdateFlags that you passed to the constructor of this object. See @ref UpdateFlags for more information." diff --git a/doc/doxygen/scripts/filter b/doc/doxygen/scripts/filter.pl similarity index 100% rename from doc/doxygen/scripts/filter rename to doc/doxygen/scripts/filter.pl