fix/doc/manual
Théophane Hufschmitt 660c19eb49 manual: Add some anchor targets for the nix.conf options
For each `nix.conf` option, add an empty html node with a unique `id`
that can be used as an anchor target. Also make the name of the option
be a link to that target so that it’s easily discoverable.

We can’t rewrite the whole list as an html definition list like it’s
done for the builtins because these options also appear in a man page,
and the manpage renderer (lowdown) can’t render arbitrary html. But the
hack here allows to keep the manpage and have the links in the html
version.

Fix https://github.com/NixOS/nix/issues/5745
2022-04-05 13:50:42 +02:00
..
src Update release notes 2022-03-31 17:33:06 +02:00
theme doc/manual: don't need to copy highlight.js manually 2021-08-04 19:47:05 -07:00
book.toml Improve margins between sections 2020-08-19 12:31:18 +02:00
custom.css Improve margins between sections 2020-08-19 12:31:18 +02:00
generate-builtins.nix Anchor with prefix 2022-02-24 13:50:50 +01:00
generate-manpage.nix Remove links to .md files in help output 2021-10-06 13:01:18 +02:00
generate-options.nix manual: Add some anchor targets for the nix.conf options 2022-04-05 13:50:42 +02:00
local.mk Add html make target 2022-02-23 15:06:13 +01:00
quote-literals.xsl Generate release notes again 2014-03-12 14:24:29 +01:00
utils.nix Group subcommands by category 2021-01-25 18:19:32 +01:00