Rename 'filter' to 'filter.pl'.

diff --git a/doc/doxygen/CMakeLists.txt b/doc/doxygen/CMakeLists.txt
index f5a7da73c63fc36feb416aff215a5e6b9f135b0f..05520844ebbf33852362f6b7987c1afdcd8127af 100644 (file)
--- 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 503d3e908683428a63dc0a40d0ccbe7591abb230..7ea92dfa0e0345b0c0dfe9ee0d70db4ec9c64b47 100644 (file)
--- 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 <code>\1</code> 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