Bug#879048: debian-policy: footnote links pointing to wrong location

2017-12-25 Thread Russ Allbery
Reiner Herrmann writes: > I noticed that some footnote links in the HTML output are pointing to > wrong locations. For example in [12.3] there is a footnote "[7]", which > links to "#id17". But instead of leading to the footnote text, the > target is some wrong location in

Bug#879048: debian-policy: footnote links pointing to wrong location

2017-10-18 Thread Reiner Herrmann
Package: debian-policy Version: 4.1.1.1 Severity: minor Dear Maintainer, I noticed that some footnote links in the HTML output are pointing to wrong locations. For example in [12.3] there is a footnote "[7]", which links to "#id17". But instead of leading to the footnote text, the target is some