From: maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 3 Dec 2013 16:27:33 +0000 (+0000)
Subject: Documentation: Bugfix: Avoid a name clash for configured doxygen scripts
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5d7257a9be88054d47a131eb01347bf16339c256;p=dealii-svn.git

Documentation: Bugfix: Avoid a name clash for configured doxygen scripts

git-svn-id: https://svn.dealii.org/trunk@31857 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/doxygen/CMakeLists.txt b/deal.II/doc/doxygen/CMakeLists.txt
index 84e4226d20..e2070dedd6 100644
--- a/deal.II/doc/doxygen/CMakeLists.txt
+++ b/deal.II/doc/doxygen/CMakeLists.txt
@@ -54,12 +54,12 @@ CONFIGURE_FILE(
   )
 
 CONFIGURE_FILE(
-  ${CMAKE_CURRENT_SOURCE_DIR}/scripts/mod_header.pl
+  ${CMAKE_CURRENT_SOURCE_DIR}/scripts/mod_header.pl.in
   ${CMAKE_CURRENT_BINARY_DIR}/scripts/mod_header.pl
   )
 
 CONFIGURE_FILE(
-  ${CMAKE_CURRENT_SOURCE_DIR}/scripts/mod_footer.pl
+  ${CMAKE_CURRENT_SOURCE_DIR}/scripts/mod_footer.pl.in
   ${CMAKE_CURRENT_BINARY_DIR}/scripts/mod_footer.pl
   )
 
diff --git a/deal.II/doc/doxygen/scripts/mod_footer.pl b/deal.II/doc/doxygen/scripts/mod_footer.pl.in
similarity index 100%
rename from deal.II/doc/doxygen/scripts/mod_footer.pl
rename to deal.II/doc/doxygen/scripts/mod_footer.pl.in
diff --git a/deal.II/doc/doxygen/scripts/mod_header.pl b/deal.II/doc/doxygen/scripts/mod_header.pl.in
similarity index 100%
rename from deal.II/doc/doxygen/scripts/mod_header.pl
rename to deal.II/doc/doxygen/scripts/mod_header.pl.in