1 files changed, 2 insertions, 0 deletions
diff --git a/doc/scripts/configure.pl b/doc/scripts/configure.pl
index bd7e41a3e..9415d5a42 100755
--- a/doc/scripts/configure.pl
+++ b/doc/scripts/configure.pl
@@ -1582,6 +1582,8 @@ sub read_info_files {
     foreach my $file (dir_list($dir)) {
         my $fullpath = File::Spec->catfile($dir, $file);
 
+        $file =~ s/.txt//;
+
         trace("reading $fullpath");
         %{$allinfo{$file}} = &$func($file, $fullpath);
     }