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>
Tue, 14 Apr 2020 14:01:53 +0000 (16:01 +0200)
commitbd4c345ef7ddf3542662fe0872b06393b414a3fc
treec0fb5c68566691dde08bae599a756d5749298cd9
parent4487e42cba15110bce91d729b3e964f62347ed50
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