From f9e1b8172001eba5c0bc412e03c257402edbd156 Mon Sep 17 00:00:00 2001
From: Reinhold Kainhofer <reinhold@kainhofer.com>
Date: Tue, 5 Aug 2008 20:42:57 +0200
Subject: [PATCH] texi2html: handle sections without node; top-level unnumbered
get their own file
---
buildscripts/extract_texi_filenames.py | 17 +++++++++++++++--
1 file changed, 15 insertions(+), 2 deletions(-)
diff --git a/buildscripts/extract_texi_filenames.py b/buildscripts/extract_texi_filenames.py
index e93dc2317d..ec7a42dc21 100755
--- a/buildscripts/extract_texi_filenames.py
+++ b/buildscripts/extract_texi_filenames.py
@@ -111,11 +111,13 @@ def process_sections (filename, page):
this_filename = ''
this_anchor = ''
this_unnumbered = False
+ had_section = False
for sec in sections:
if sec[0] == "node":
# Write out the cached values to the file and start a new section:
if this_title != '':
f.write (this_title + "\t" + this_filename + "\t" + this_anchor + "\n")
+ had_section = False
this_title = remove_texinfo (sec[1])
this_anchor = create_texinfo_anchor (sec[1])
elif sec[0] == "translationof":
@@ -126,10 +128,21 @@ def process_sections (filename, page):
if not this_unnumbered:
this_filename = anchor
else:
+ # Some pages might not use a node for every section, so treat this
+ # case here, too: If we already had a section and encounter enother
+ # one before the next @node, we write out the old one and start
+ # with the new values
+ if had_section and this_title != '':
+ f.write (this_title + "\t" + this_filename + "\t" + this_anchor + "\n")
+ this_title = remove_texinfo (sec[1])
+ this_anchor = create_texinfo_anchor (sec[1])
+ had_section = True
+
# unnumbered nodes use the previously used file name, only numbered
- # nodes get their own filename!
+ # nodes get their own filename! However, top-level @unnumbered
+ # still get their own file.
this_unnumbered = unnumbered_re.match (sec[0])
- if not this_unnumbered:
+ if not this_unnumbered or sec[0] == "unnumbered":
this_filename = this_anchor
if this_title != '':
--
2.39.5