3 people 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