diff options
author | Naïm Favier <n@monade.li> | 2021-12-28 13:26:35 +0100 |
---|---|---|
committer | Naïm Favier <n@monade.li> | 2021-12-28 13:26:35 +0100 |
commit | 8583c5f48bb1aea53dcebf76613a1d694d578e69 (patch) | |
tree | 17d4bd68e78c113def9d741a5ac812eba5c9bcf5 /doc/build-aux/pandoc-filters | |
parent | eef4a51941579e52e02bca0900a8a07184d15f8e (diff) |
doc: remove reference to unix-man-urls.lua
Diffstat (limited to 'doc/build-aux/pandoc-filters')
-rw-r--r-- | doc/build-aux/pandoc-filters/link-unix-man-references.lua | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/build-aux/pandoc-filters/link-unix-man-references.lua b/doc/build-aux/pandoc-filters/link-unix-man-references.lua index 12431f140fed..e437ac73a1cb 100644 --- a/doc/build-aux/pandoc-filters/link-unix-man-references.lua +++ b/doc/build-aux/pandoc-filters/link-unix-man-references.lua @@ -1,6 +1,5 @@ --[[ -Turns a manpage reference into a link, when a mapping is defined -in the unix-man-urls.lua file. +Turns a manpage reference into a link, when a mapping is defined below. ]] local man_urls = { |