Browse Source

Don't complain about an id immediately followed by a name.

Some documentation uses markup of the form:

{{{
<div id="foo"><h1><a name="foo"></a>Foo</h1>
...
</div>
}}}

This was appearing as a duplicate bookmark, but it's valid. So allow an
`id` immediately followed by an identical `name`. Could allow some
problematic markup but it's the best I could come up with without
a html parser.

[SVN r63389]
Daniel James 16 years ago
parent
commit
03854e7d70
1 changed files with 1 additions and 1 deletions
  1. 1 1
      tools/inspect

+ 1 - 1
tools/inspect

@@ -1 +1 @@
-Subproject commit b8cb91bfc010a55e329cb45fb1129fb76447ad8a
+Subproject commit 1bc8da5aa2cbae1eeaf877fabc1e1f37db408728

粤ICP备19079148号