John Ericson 816031173c Fix the 2.13 changelog ... It is just the new CLI that gets the `^` syntax. The old CLI already has a (slightly different) `!` syntax. Fixes #7682		2023-01-24 18:53:46 -05:00
..
src	Fix the 2.13 changelog	2023-01-24 18:53:46 -05:00
theme
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
generate-builtins.nix	refactor rendering documentation of builtins	2022-11-24 14:15:43 +01:00
generate-manpage.nix	add missing newline, for consistent formatting	2022-11-30 23:40:53 +01:00
generate-options.nix	use HTML anchors for config parameters	2022-12-07 16:18:50 +01:00
local.mk	doc/manual/hacking: Document @docroot@ variable	2023-01-10 22:30:41 +01:00
quote-literals.xsl
redirects.js	Remove repeat and enforce-determinism options	2022-12-07 11:36:48 +01:00
utils.nix	refactor showOptions	2022-09-30 01:43:53 +02:00