diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2022-05-25 18:51:04 +0200 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2022-05-26 17:54:15 +0200 |
| commit | 4de84e095d0f1fa7f3b5db8904496ffd2752d73e (patch) | |
| tree | 5245954b01656292240dffce12e84b8e0e4c3650 /doc/manual/book.toml | |
| parent | 4f98bc29ffe5d7007eb919ae4dbbe0adc4a07745 (diff) | |
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}
Diffstat (limited to 'doc/manual/book.toml')
| -rw-r--r-- | doc/manual/book.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual/book.toml b/doc/manual/book.toml index fee41dfb3..75554d11f 100644 --- a/doc/manual/book.toml +++ b/doc/manual/book.toml @@ -1,2 +1,5 @@ [output.html] additional-css = ["custom.css"] + +[preprocessor.anchors] +command = "python3 doc/manual/anchors.py" |