Taeer Bar-Yam 219fa2e43d add release notes for welcomeText

2022-02-17 15:17:20 -05:00

..

src

add release notes for welcomeText

2022-02-17 15:17:20 -05: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

reproducibility: hide non-reproducible settings from manual

2021-12-01 17:25:58 +01:00

local.mk

reproducibility: determinstic man page output for cores

2021-11-26 10:55:43 -05: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