shithub: freetype+ttf2subf

Download patch

ref: 8f795118b8773caa21e6077ffc971c3f44a10332
parent: ba1ba0cadebcae07e40572bcb19cb56c2e9b5ee5
author: Werner Lemberg <[email protected]>
date: Sat Nov 29 01:49:15 EST 2014

* src/tools/docmaker/tohtml.py: Fix index and TOC templates.

This thinko was introduced 2014-11-27.

git/fs: mount .git/fs: mount/attach disallowed
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2014-11-29  Werner Lemberg  <[email protected]>
+
+	* src/tools/docmaker/tohtml.py: Fix index and TOC templates.
+
+	This thinko was introduced 2014-11-27.
+
 2014-11-28  Werner Lemberg  <[email protected]>
 
 	[docmaker] Format field lists with CSS.
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -130,11 +130,16 @@
 <td class="right">[<a href="\
 """
 
-html_header_5 = """\
+html_header_5t = """\
 ">TOC</a>]</td></tr></table>
 <h1>\
 """
 
+html_header_5i = """\
+">Index</a>]</td></tr></table>
+<h1>\
+"""
+
 html_header_6 = """\
  API Reference</h1>
 """
@@ -240,8 +245,13 @@
     def  __init__( self, processor, project_title, file_prefix ):
         Formatter.__init__( self, processor )
 
-        global html_header_1, html_header_2, html_header_3
-        global html_header_4, html_header_5, html_footer
+        global html_header_1
+        global html_header_2
+        global html_header_3l, html_header_3r
+        global html_header_4
+        global html_header_5t, html_header_5i
+        global html_header_6
+        global html_footer
 
         if file_prefix:
             file_prefix = file_prefix + "-"
@@ -256,19 +266,19 @@
           + html_header_2
           + html_header_3l + file_prefix + "index.html"
           + html_header_4 + file_prefix + "toc.html"
-          + html_header_5 + project_title
+          + html_header_5t + project_title
           + html_header_6 )
         self.html_index_header = (
           html_header_1 + project_title
           + html_header_2
           + html_header_3r + file_prefix + "toc.html"
-          + html_header_5 + project_title
+          + html_header_5t + project_title
           + html_header_6 )
         self.html_toc_header = (
           html_header_1 + project_title
           + html_header_2
           + html_header_3l + file_prefix + "index.html"
-          + html_header_5 + project_title
+          + html_header_5i + project_title
           + html_header_6 )
         self.html_footer = (
           '<div class="timestamp">generated on '