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-14 16:01:53 +0200 |
| commit | bd4c345ef7ddf3542662fe0872b06393b414a3fc (patch) | |
| tree | c0fb5c68566691dde08bae599a756d5749298cd9 /THANKS | |
| parent | 4487e42cba15110bce91d729b3e964f62347ed50 (diff) | |
| download | patches-bd4c345ef7ddf3542662fe0872b06393b414a3fc.tar patches-bd4c345ef7ddf3542662fe0872b06393b414a3fc.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 'THANKS')
0 files changed, 0 insertions, 0 deletions