diff --git a/src/doc_postproc.awk b/src/doc_postproc.awk index 81ea0761..c0244ce8 100755 --- a/src/doc_postproc.awk +++ b/src/doc_postproc.awk @@ -38,48 +38,11 @@ BEGIN { } } -/
/ { - # Make the description blurb inline, as with terminal output - gsub(/div/, "span") -} - -BEGIN { - pages["gbz80", 7] = 1 - pages["rgbds", 5] = 1 - pages["rgbds", 7] = 1 - pages["rgbasm", 1] = 1 - pages["rgbasm", 5] = 1 - pages["rgblink",1] = 1 - pages["rgblink",5] = 1 - pages["rgbfix", 1] = 1 - pages["rgbgfx", 1] = 1 -} -// { - # Link to other pages in the doc - for (i in pages) { - split(i, page, SUBSEP) - name = page[1] - section = page[2] - gsub(sprintf("%s\\(%d\\)", name, section), - sprintf("%s(%d)", name, section, name, section)) - } -} - { # Make long opts (defined using `Fl Fl`) into a single tag - gsub(/-<\/code>/, "-") + gsub(/-<\/code>\s*/, "-") } { print } - -// { - # Add viewport size tag for mobile users - print " " -} - -/") -}