2017-12-30 01:41:51 +01:00
|
|
|
-- update README.md based on MANUAL.txt
|
2018-04-22 20:36:47 +02:00
|
|
|
-- inserts contents of input-formats and output-formats
|
|
|
|
|
|
|
|
local f = assert(io.open("MANUAL.txt", "r"))
|
|
|
|
local manual = f:read("*all")
|
|
|
|
mdoc = pandoc.read(manual, "markdown")
|
|
|
|
f:close()
|
|
|
|
result = {}
|
2017-12-30 01:41:51 +01:00
|
|
|
|
|
|
|
function Div(elem)
|
2018-04-22 20:36:47 +02:00
|
|
|
local ident = elem.identifier or ""
|
|
|
|
local get = function(el)
|
|
|
|
if el.identifier == ident then
|
|
|
|
result = el
|
|
|
|
end
|
|
|
|
end
|
|
|
|
if ident == 'input-formats' or ident == 'output-formats' then
|
|
|
|
pandoc.walk_block(pandoc.Div(mdoc.blocks), { Div = get })
|
|
|
|
return result
|
2017-12-30 01:41:51 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|