fix/doc/manual/book.toml

[output.html]
additional-css = ["custom.css"]
additional-js = ["redirects.js"]

[preprocessor.anchors]
renderers = ["html"]
command = "jq --from-file doc/manual/anchors.jq"
Improve margins between sections The default CSS puts almost no space between sections, but a lot of space between subsections. This flips that around. 2020-08-19 12:31:18 +02:00			`[output.html]`
			`additional-css = ["custom.css"]`
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. 2022-05-25 08:07:02 +02:00			`additional-js = ["redirects.js"]`
doc: Introduce pre-processor for adding anchors to text It is now possible to use the following syntax to insert anchors into the text: []{#anchor-name} The anchor will allow linking to the location it is placed by appending #anchor-name to the URL. Additionally, it is possible to create a link pointing to its own location by adding text between the square brackets: [`--add-root`]{#opt-add-root} 2022-05-25 18:51:04 +02:00
			`[preprocessor.anchors]`
doc: Port anchors preprocessor to jq script Python is only pulled into the build closure by Mercurial, which might end up being removed. Let’s port the script to jq, which is more likely to stay. 2022-05-26 16:47:40 +02:00			`renderers = ["html"]`
			`command = "jq --from-file doc/manual/anchors.jq"`