diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-13 12:27:17 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-13 12:28:41 +0200 |
| commit | deac7bf6ac7a943c9685949bf4dda7a2b1ba56c3 (patch) | |
| tree | d48432e05e93fc9b1565f13d056236ef0ec70fce /etc | |
| parent | f6145358c7d33e73c0708bbe400e6e8e65512ef3 (diff) | |
| download | patches-deac7bf6ac7a943c9685949bf4dda7a2b1ba56c3.tar patches-deac7bf6ac7a943c9685949bf4dda7a2b1ba56c3.tar.gz | |
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.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions