diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2022-12-20 16:29:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-20 16:29:32 +0100 |
| commit | 1437582ccd3c4af51f34e43a77df5c8622e24d6c (patch) | |
| tree | ac10479b9d7c0ead6e27b34b8b2189d02c06fff0 /doc/manual/src | |
| parent | 3fa246d3bc5607a0b3c84508d096472e2ec021c2 (diff) | |
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>
Diffstat (limited to 'doc/manual/src')
0 files changed, 0 insertions, 0 deletions