1-- update README.md based on MANUAL.txt
2-- inserts contents of input-formats and output-formats
4local f = assert(io.open("MANUAL.txt", "r"))
5local manual = f:read("*all")
6mdoc = pandoc.read(manual, "markdown")
11 local ident = elem.identifier or ""
12 local fixrel = function(el)
13 if el.target:match("^#") then
14 el.target = "https://pandoc.org/MANUAL.html" .. el.target
18 local get = function(el)
19 if el.identifier == ident then
20 result = pandoc.walk_block(el, { Link = fixrel })
23 if ident == 'input-formats' or ident == 'output-formats' then
24 pandoc.walk_block(pandoc.Div(mdoc.blocks), { Div = get })
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list