Robert Hensing 1437582ccd doc/book.toml: Improve config (#7300) ... * doc/book.toml: Improve config - `title` value will be added to the HTML <title> - here</title> - `git-repository-url` adds a link to the GitHub repo in the top right corner - `edit-url-template` adds an edit link, inviting contributions Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>		2022-12-20 16:29:32 +01:00
..
src	make relative links explicit	2022-12-20 14:28:43 +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/book.toml: Improve config (#7300)	2022-12-20 16:29:32 +01: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	add missing newline, for consistent formatting	2022-11-30 23:40:53 +01:00
generate-options.nix	use HTML anchors for config parameters	2022-12-07 16:18:50 +01:00
local.mk	do not render links in man pages	2022-12-07 16:20:25 +01:00
quote-literals.xsl	Generate release notes again	2014-03-12 14:24:29 +01:00
redirects.js	Remove repeat and enforce-determinism options	2022-12-07 11:36:48 +01:00
utils.nix	refactor showOptions	2022-09-30 01:43:53 +02:00