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 /etc/git | |
| parent | 4487e42cba15110bce91d729b3e964f62347ed50 (diff) | |
| download | guix-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 'etc/git')
0 files changed, 0 insertions, 0 deletions