Eelco Dolstra fcdca3d776 Merge remote-tracking branch 'origin/master' into lazy-trees		2022-12-05 13:05:18 +01:00
..
src	Merge remote-tracking branch 'origin/master' into lazy-trees	2022-12-05 13:05:18 +01: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	refactor rendering documentation of builtins	2022-11-24 14:15:43 +01:00
generate-manpage.nix	Merge remote-tracking branch 'origin/master' into lazy-trees	2022-12-05 13:05:18 +01:00
generate-options.nix	manual: update options generation code to use default values	2022-10-20 12:05:04 -07:00
local.mk	Merge remote-tracking branch 'origin/master' into lazy-trees	2022-10-26 16:30:23 +02:00
quote-literals.xsl	Generate release notes again	2014-03-12 14:24:29 +01:00
redirects.js	fix typos in comments	2022-11-09 00:49:34 +01:00
utils.nix	refactor showOptions	2022-09-30 01:43:53 +02:00