diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2002-04-30 17:51:14 (GMT) |
---|---|---|
committer | Dimitri van Heesch <dimitri@stack.nl> | 2002-04-30 17:51:14 (GMT) |
commit | 758291b1be0c43c13088389b0cfbb560efe00c1f (patch) | |
tree | a37d75aa0ebe073906cb1a3c2c1506b96409f075 /src/instdox.cpp | |
parent | 210582f8060fb41f6ad34d8315c9dd27b1bb6834 (diff) | |
download | Doxygen-758291b1be0c43c13088389b0cfbb560efe00c1f.zip Doxygen-758291b1be0c43c13088389b0cfbb560efe00c1f.tar.gz Doxygen-758291b1be0c43c13088389b0cfbb560efe00c1f.tar.bz2 |
Release-1.2.15-20020430
Diffstat (limited to 'src/instdox.cpp')
-rw-r--r-- | src/instdox.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/instdox.cpp b/src/instdox.cpp index 3e480dc..cd803cd 100644 --- a/src/instdox.cpp +++ b/src/instdox.cpp @@ -117,7 +117,7 @@ void writeInstallScript() t << "if ( ! @files ) {\n"; t << " if (opendir(D,\".\")) {\n"; t << " foreach $file ( readdir(D) ) {\n"; - t << " $match = \".html\";\n"; + t << " $match = \"" << Config_getString("HTML_FILE_EXTENSION") << "\";\n"; t << " next if ( $file =~ /^\\.\\.?$/ );\n"; t << " ($file =~ /$match/) && (push @files, $file);\n"; t << " ($file =~ \"tree.js\") && (push @files, $file);\n"; |