From 47fd44a88a8e9cf1efa8f20b16ddd26e51ac5d55 Mon Sep 17 00:00:00 2001
From: Reinhold Kainhofer <reinhold@kainhofer.com>
Date: Tue, 5 Aug 2008 20:51:58 +0200
Subject: [PATCH] texi2html: Use index.html as fallback name

---
 buildscripts/extract_texi_filenames.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildscripts/extract_texi_filenames.py b/buildscripts/extract_texi_filenames.py
index ec7a42dc21..18c10bce9a 100755
--- 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
-- 
2.39.5