Bug#873456: debian-policy: missing anchor: document-index

[Russ Allbery <rra@debian.org>]

Paul Wise <pabs@debian.org> writes:

> There are several links that point to the document-index anchor, but it
> is not available in the document. This is especially annoying for users
> of text-based browsers because it means that there is no easy way to
> get to the Table of Contents, which used to be at the top of index.html

> $ grep -ri document-index /usr/share/doc/debian-policy/
> /usr/share/doc/debian-policy/policy.html/index.html:        <li class="nav-item nav-item-0"><a href="index.html#document-index">Debian Policy Manual v4.1.0.0</a> &#187;</li> 
> /usr/share/doc/debian-policy/policy.html/index.html:  <h3><a href="index.html#document-index">Table Of Contents</a></h3>
> /usr/share/doc/debian-policy/policy.html/index.html:        <li class="nav-item nav-item-0"><a href="index.html#document-index">Debian Policy Manual v4.1.0.0</a> &#187;</li> 

This appears to be more breakage in Sphinx singlehtml output.  Everything
looks correct in the multi-page HTML output.

-- 
Russ Allbery (rra@debian.org)               <http://www.eyrie.org/~eagle/>