diff options
| author | pennae <github@quasiparticle.net> | 2023-02-18 20:41:34 +0100 |
|---|---|---|
| committer | pennae <github@quasiparticle.net> | 2023-02-21 18:26:40 +0100 |
| commit | 163b667352e19411473fdf8603f0883c1b106d58 (patch) | |
| tree | 7569ef010ce86900bdc43beee26afc1ddb281279 /pkgs/development/python-modules/rangehttpserver | |
| parent | ba201144605ed4ba83d165a37c3660ef2b49b193 (diff) | |
nixos-render-docs: require headings to have ids
without this we cannot build a TOC to arbitrary depth without generating
ids for headings, but generated ids are fragile and liable to either
break or point to different things if the manual changes shape. we
already have the convention that all headings should have an id, this
formalizes it.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions