From 6e467a654d88d759c94cabb48fff7e4ec73275de Mon Sep 17 00:00:00 2001
From: Werner Lemberg
Date: Fri, 12 May 2006 15:05:45 +0000
Subject: [PATCH] * src/tools/docmaker/tohtml.py (block_footer): Split into...
(block_footer_start, block_footer_middle, block_footer_end): This to add
navigation buttons. (HtmlFormatter::block_exit): Updated.
---
ChangeLog | 4 ++++
src/tools/docmaker/tohtml.py | 20 +++++++++++++++++---
2 files changed, 21 insertions(+), 3 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 383838478..63cfaa0e1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,10 @@
* src/tools/docmaker/content.py (re_field): Allow `.' in field names
(but not at the beginning or end).
* src/tools/docmaker/tohtml.py (html_header_1): Use `utf-8' charset.
+ (block_footer): Split into...
+ (block_footer_start, block_footer_middle, block_footer_end): This to
+ add navigation buttons.
+ (HtmlFormatter::block_exit): Updated.
* include/freetype/*: Many minor documentation improvements (adding
links, spelling errors, etc.).
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index f011aaf99..bf4f60922 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -70,8 +70,20 @@ para_footer = "
"
# Block header and footer.
#
-block_header = '
'
+block_header = ''
+block_footer_start = """\
+ |
+
+
+"""
# Description header/footer.
#
@@ -493,7 +505,9 @@ class HtmlFormatter(Formatter):
print marker_footer
def block_exit( self, block ):
- print block_footer
+ print block_footer_start + self.file_prefix + "index.html" + \
+ block_footer_middle + self.file_prefix + "toc.html" + \
+ block_footer_end
def section_exit( self, section ):