Eelco Dolstra 59683733f5 Merge pull request #6089 from edolstra/dot-default ... Replace defaultBla.$system with bla.$system.default		2022-02-24 21:16:58 +01:00
..
src	Merge pull request #6089 from edolstra/dot-default	2022-02-24 21:16:58 +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	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: fix formatting for options with "machine-specific" defaults	2022-02-15 15:44:05 -06:00
local.mk	Add html make target	2022-02-23 15:06:13 +01:00
quote-literals.xsl
utils.nix	Group subcommands by category	2021-01-25 18:19:32 +01:00