Hugo Osvaldo Barrera fd7f795750 Add disambiguation to man page ... This should help future lost newcomers like myself understand where to find the docs for both of these commands and how they differ.		2022-06-14 18:13:35 +02:00
..
src	Add disambiguation to man page	2022-06-14 18:13:35 +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	doc: Add redirects for the DocBook manual	2022-05-26 18:17:21 +02:00
custom.css
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	doc: Port anchors preprocessor to jq script	2022-05-26 18:17:21 +02:00
quote-literals.xsl
redirects.js	doc: Add redirects for the DocBook manual	2022-05-26 18:17:21 +02:00
utils.nix