-- update README.md based on MANUAL.txt

-- 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 = {}

function Div(elem)

local ident = elem.identifier or ""

local fixrel = function(el)

if el.target:match("^#") then

el.target = "https://pandoc.org/MANUAL.html" .. el.target

end

return el

end

local get = function(el)

if el.identifier == ident then

result = pandoc.walk_block(el, { Link = fixrel })

end

end

if ident == 'input-formats' or ident == 'output-formats' then

pandoc.walk_block(pandoc.Div(mdoc.blocks), { Div = get })

return result

end

end