Doc build: create lower-case html filenames.

diff --git a/Documentation/lilypond-texi2html.init b/Documentation/lilypond-texi2html.init
index fa4937fc4a10b6032e986c4e5e7ab926c8ef917c..2c664e0198bdd8e9d9f9a47345827e027d9fb963 100644 (file)
--- a/Documentation/lilypond-texi2html.init
+++ b/Documentation/lilypond-texi2html.init
@@ -357,7 +357,7 @@ sub lilypond_element_file_name($$$)
       $$element{doc_nr} = $docnr;
       $lastfilename = $filename;
     }
-    return $filename;
+    return lc($filename);
 
   } elsif ($type eq "top" or $type eq "toc" or $type eq "doc" or $type eq "stoc" or $type eq "foot" or $type eq "about") {
     return;
@@ -378,10 +378,10 @@ sub lilypond_element_file_name($$$)
       $docnr += 1;
       $$element{doc_nr} = $docnr;
       $lastfilename = $filename;
-      return $filename;
+      return lc($filename);
     } else {
       $$element{doc_nr} = $docnr;
-      return $lastfilename;
+      return lc($filename);
     }
   }