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