pennae 052bb41410 doc: assign ids to many headings ... without stable ids on headings we cannot generate stable links to these headings. nrd complains about this, but the current docbook workflow does not. a few generated ids remain, mostly in examples and footnotes. most of the examples are generated by nixdoc (which has since gained MD export functions, and the MD export does generate IDs).		2023-03-27 22:39:11 +02:00
..
cross-compilation.chapter.md	cross-compilation.chapter.md: correct doCheck conditional	2023-01-20 22:17:19 +02:00
meta.chapter.md	doc: assign ids to many headings	2023-03-27 22:39:11 +02:00
multiple-output.chapter.md	doc: fix typos	2022-12-17 18:21:48 -05:00
platform-notes.chapter.md
stdenv.chapter.md	doc: assign ids to many headings	2023-03-27 22:39:11 +02:00