2020-08-19 13:31:18 +03:00
|
|
|
[output.html]
|
|
|
|
additional-css = ["custom.css"]
|
2022-05-25 09:07:02 +03:00
|
|
|
additional-js = ["redirects.js"]
|
2022-05-25 19:51:04 +03:00
|
|
|
|
|
|
|
[preprocessor.anchors]
|
2022-05-26 17:47:40 +03:00
|
|
|
renderers = ["html"]
|
|
|
|
command = "jq --from-file doc/manual/anchors.jq"
|