doc: Improve anchor collection.
authorLudovic Courtès <ludo@gnu.org>
Mon, 13 Apr 2020 10:27:17 +0000 (12:27 +0200)
committerLudovic Courtès <ludo@gnu.org>
Mon, 13 Apr 2020 10:28:41 +0000 (12:28 +0200)
commitdeac7bf6ac7a943c9685949bf4dda7a2b1ba56c3
treed48432e05e93fc9b1565f13d056236ef0ec70fce
parentf6145358c7d33e73c0708bbe400e6e8e65512ef3
doc: Improve anchor collection.

This allows us to catch "operating_002dsystem-1", for instance.

* doc/build.scm (syntax-highlighted-html)[build](anchor-id->key): Drop
"-1" & co. from ID.
doc/build.scm