[docmaker] Replace `name' attribute of `<a>' with `id'.

* src/tools/docmaker/tohtml.py (HtmlFormatter::block_enter): Do it.
10 years ago · edcf817efa
parent 26d699ed84
commit edcf817efa
2 changed files with 7 additions and 2 deletions
--- a/6
+++ b/6
@ -1,3 +1,9 @@
+2014-11-27  Werner Lemberg  <wl@gnu.org>
+
+	[docmaker] Replace `name' attribute of `<a>' with `id'.
+
+	* src/tools/docmaker/tohtml.py (HtmlFormatter::block_enter): Do it.
+
 2014-11-27  Werner Lemberg  <wl@gnu.org>

 	* src/tools/docmaker/tohtml.py: Remove remaining `width' attributes.
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@ -558,8 +558,7 @@ class  HtmlFormatter( Formatter ):

        # place html anchor if needed
        if block.name:
-            print( '<h4><a name="' + block.name + '">'
-                   + block.name + '</a></h4>' )
+            print( '<h4 id="' + block.name + '">' + block.name + '</h4>' )

        # dump the block C source lines now
        if block.code: