Eelco Dolstra ff4dea63c9 Generalize extra-* settings ...

This removes the extra-substituters and extra-sandbox-paths settings
and instead makes every array setting extensible by setting
"extra-<name> = <value>" in the configuration file or passing
"--<name> <value>" on the command line.

2020-10-29 18:17:39 +01:00

..

src

Generalize extra-* settings

2020-10-29 18:17:39 +01: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

jq -> nix

2020-09-16 14:58:06 +02:00

generate-manpage.nix

Remove stray 'Title:' from the manual

2020-10-08 17:30:40 +02:00

generate-options.nix

Update document generation for empty json object values.

2020-09-24 22:41:24 -07:00

highlight.pack.js

Enable syntax highlighting

2020-07-31 15:43:25 +02:00

local.mk

Remove stray 'Title:' from the manual

2020-10-08 17:30:40 +02:00

quote-literals.xsl

Generate release notes again

2014-03-12 14:24:29 +01:00

utils.nix

jq -> nix

2020-09-16 14:58:06 +02:00