Ludovic Courtès deac7bf6ac
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.
2020-04-13 12:28:41 +02:00
..
2020-04-13 12:28:41 +02:00
2020-01-12 00:19:10 +01:00
2020-02-17 06:52:11 +00:00