Théo Zimmermann d589782fb0 Fix some typos in CLI guideline.		2021-11-08 08:24:15 +01:00
..
src	Fix some typos in CLI guideline.	2021-11-08 08:24:15 +01: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	doc: builtins: use a definition list	2021-05-05 14:34:46 +00:00
generate-manpage.nix	Remove links to .md files in help output	2021-10-06 13:01:18 +02:00
generate-options.nix	Update document generation for empty json object values.	2020-09-24 22:41:24 -07:00
local.mk	Remove links to .md files in help output	2021-10-06 13:01:18 +02: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