Sagar Patel c068cce107 docs: drop shell prompt character for consistency ... In addition to consistency, the fancy "Copy to clipboard" button on the website will copy the prompt character. Retaining the prompt character would mean having to edit each command after pasting in the terminal.		2022-11-01 00:09:00 -04:00
..
src	docs: drop shell prompt character for consistency	2022-11-01 00:09:00 -04: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	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	Print common flags in --help	2022-10-07 09:07:22 -07:00
generate-options.nix	manual: update options generation code to use default values	2022-10-20 12:05:04 -07:00
local.mk	Print common flags in --help	2022-10-07 09:07:22 -07:00
quote-literals.xsl	Generate release notes again	2014-03-12 14:24:29 +01:00
redirects.js	manual: remove "Writing Nix Expressions" chapter	2022-08-04 11:59:25 +02:00
utils.nix	refactor showOptions	2022-09-30 01:43:53 +02:00