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/book.toml | |
| 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/book.toml')
| -rw-r--r-- | doc/manual/book.toml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/book.toml b/doc/manual/book.toml index 5f78a7614..46ced7ff7 100644 --- a/doc/manual/book.toml +++ b/doc/manual/book.toml @@ -1,6 +1,11 @@ +[book] +title = "Nix Reference Manual" + [output.html] additional-css = ["custom.css"] additional-js = ["redirects.js"] +edit-url-template = "https://github.com/NixOS/nix/tree/master/doc/manual/{path}" +git-repository-url = "https://github.com/NixOS/nix" [preprocessor.anchors] renderers = ["html"] |