texi2html: Use index.html as fallback name

diff --git a/buildscripts/extract_texi_filenames.py b/buildscripts/extract_texi_filenames.py
index ec7a42dc21c0a62e6e10f7ff430ef7fd6e8aad38..18c10bce9a69d846debc27dd9c050e8cad47d040 100755 (executable)
--- a/buildscripts/extract_texi_filenames.py
+++ b/buildscripts/extract_texi_filenames.py
@@ -108,7 +108,7 @@ def process_sections (filename, page):
     f = open (p, 'w')
 
     this_title = ''
-    this_filename = ''
+    this_filename = 'index'
     this_anchor = ''
     this_unnumbered = False
     had_section = False