diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2022-05-25 08:07:02 +0200 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2022-05-26 18:17:21 +0200 |
| commit | 26d1877d6ec7118180be14fc39b471fa53bc0caa (patch) | |
| tree | fac7ba48d87984c395b5751acc264a8fd8054023 /doc/manual/book.toml | |
| parent | a793863b97efde14189b031326e48ac0f448fafc (diff) | |
doc: Add redirects for the DocBook manual
There are still many links to the old manual on the web and
having them end up on the Introduction page is a bad user experience.
Diffstat (limited to 'doc/manual/book.toml')
| -rw-r--r-- | doc/manual/book.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual/book.toml b/doc/manual/book.toml index ff6b79c07..5f78a7614 100644 --- a/doc/manual/book.toml +++ b/doc/manual/book.toml @@ -1,5 +1,6 @@ [output.html] additional-css = ["custom.css"] +additional-js = ["redirects.js"] [preprocessor.anchors] renderers = ["html"] |