Valentin Gagarin b11ae93581 remove incorrect reference ... the semantics are not explained in the referenced section any more, they have been moved to the documentation for common options in the new CLI [0]. [0]: 703d863a48		2023-04-05 14:03:11 +02:00
..
src	remove incorrect reference	2023-04-05 14:03:11 +02:00
theme	doc/manual: don't need to copy highlight.js manually	2021-08-04 19:47:05 -07:00
anchors.jq	doc: Port anchors preprocessor to jq script	2022-05-26 18:17:21 +02:00
book.toml	manual: Check links	2023-01-10 22:30:41 +01:00
custom.css	disallow selecting shell prompt in code samples	2022-12-05 11:01:46 +01:00
generate-builtins.nix	refactor rendering documentation of builtins	2022-11-24 14:15:43 +01:00
generate-manpage.nix	Make useAnchors a named argument	2023-03-23 10:08:49 +01:00
local.mk	process includes first	2023-03-30 13:55:44 +02:00
quote-literals.xsl
redirects.js	Remove repeat and enforce-determinism options	2022-12-07 11:36:48 +01:00
utils.nix	showSetting: Drop ...	2023-03-23 10:09:25 +01:00