diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2023-01-10 23:07:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-10 23:07:38 +0100 |
| commit | f58c30111261a3ad50a6cb462cb2df7c49aa82e4 (patch) | |
| tree | f6351a0c7f165b5f04ceedfa5a5b3930d0d0159a /doc/manual/book.toml | |
| parent | 1c98daf6e8bdf771ed3b17c947384fef4ed8d006 (diff) | |
| parent | 6ae4d762d0a1b208eaa47e9bd8960571ac908af7 (diff) | |
Merge pull request #7541 from hercules-ci/check-manual-links
Check links in the manual
Diffstat (limited to 'doc/manual/book.toml')
| -rw-r--r-- | doc/manual/book.toml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/manual/book.toml b/doc/manual/book.toml index 46ced7ff7..73fb7e75e 100644 --- a/doc/manual/book.toml +++ b/doc/manual/book.toml @@ -10,3 +10,12 @@ git-repository-url = "https://github.com/NixOS/nix" [preprocessor.anchors] renderers = ["html"] command = "jq --from-file doc/manual/anchors.jq" + +[output.linkcheck] +# no Internet during the build (in the sandbox) +follow-web-links = false + +# mdbook-linkcheck does not understand [foo]{#bar} style links, resulting in +# excessive "Potential incomplete link" warnings. No other kind of warning was +# produced at the time of writing. +warning-policy = "ignore" |