diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-01-10 00:13:54 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-10 00:13:54 +0000 |
commit | 85bd0922b49d66a1b8ffbc021ee02667aff995a9 (patch) | |
tree | 35a54b8ce6804c75c1c563f25ca5444fb90ea5d8 /maintainers/scripts | |
parent | 73fc27c4c38210c5ea1ee4c4be6045b978a9c867 (diff) | |
parent | e4c295a77d2b86bfb4526354ebd66535daad4003 (diff) |
Merge master into haskell-updates
Diffstat (limited to 'maintainers/scripts')
-rwxr-xr-x | maintainers/scripts/db-to-md.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/scripts/db-to-md.sh b/maintainers/scripts/db-to-md.sh index 01357d1e24120..aa2a2775b6dea 100755 --- a/maintainers/scripts/db-to-md.sh +++ b/maintainers/scripts/db-to-md.sh @@ -41,7 +41,7 @@ pandoc_flags=( # - diagram-generator.lua (we do not support that in NixOS manual to limit dependencies) # - media extraction (was only required for diagram generator) # - myst-reader/roles.lua (only relevant for MyST → DocBook) - # - link-unix-man-references.lua (links should only be added to display output) + # - link-manpages.lua (links should only be added to display output) # - docbook-writer/rst-roles.lua (only relevant for → DocBook) # - docbook-writer/labelless-link-is-xref.lua (only relevant for → DocBook) "--lua-filter=$DIR/../../doc/build-aux/pandoc-filters/docbook-reader/citerefentry-to-rst-role.lua" |