Consider: $ grep '25.3.5.\(2\|3\)' html/Argp-*.html html/Argp-Helper-Functions.html:<h5 class="subsubsection">25.3.5.2 Functions For Use in Argp Parsers</h5> html/Argp-Parsing-State.html:<h5 class="subsubsection">25.3.5.3 Argp Parsing State</h5> $ According to this numbering: Next for 25.3.5.2 should be 25.3.5.3 Argp Parsing State Previous for 25.3.5.3 should be 25.3.5.2 Functions For Use in Argp Parsers and 25.3.5.3 should have no Next link. In reality: $ grep rel=\"next\" html/Argp-Helper-Functions.html $ $ grep rel=\"next\" html/html/Argp-Parsing-State.html <link rel="next" href="Argp-Helper-Functions.html#Argp-Helper-Functions" title="Argp Helper Functions"> Next: <a rel="next" accesskey="n" href="Argp-Helper-Functions.html#Argp-Helper-Functions">Argp Helper Functions</a>, $ I am already confused. I think the rel="prev" is also wrong.
Thanks, fixed in master.