diff options
Diffstat (limited to 'man')
-rw-r--r-- | man/manfilter.lua | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/man/manfilter.lua b/man/manfilter.lua index 81968ad2f..c6bbd02c4 100644 --- a/man/manfilter.lua +++ b/man/manfilter.lua @@ -1,19 +1,22 @@ --- filters to create the pandoc man page from MANUAL.txt +-- we use preloaded text to get a UTF-8 aware 'upper' function +local text = require('text') --- capitalize headers +-- capitalize level 1 headers function Header(el) if el.level == 1 then return pandoc.walk_block(el, { Str = function(el) - return pandoc.Str(el.text:upper()) + return pandoc.Str(text.upper(el.text)) end }) end end +-- replace links with link text function Link(el) return el.content end +-- remove notes function Note(el) return {} end |