diff options
| author |  mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-13 18:20:00 -0400 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-13 18:20:00 -0400 |
| commit | c436febaf7f7b7605bf61777931e97831d956d83 (patch) | |
| tree | 4cfdb384668a0275b42e245eba8c05fa6c40f8cf /scripts | |
| parent | 75041aa1e1651841073473399397bcbfc10b0134 (diff) | |
Lots of documentation updates.
Updated header id generation, anchors, links, and header levels.
Added dedicated book page and support data.
Removed extra module autocompletion and documentation from Lua module.
Removed GPG signing and verification, as everything is built and distributed on
GitHub.
Removed all release links prior to 10.8 since there is no point in uploading
the relevant files to GitHub.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/fill_layout.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/fill_layout.lua b/scripts/fill_layout.lua index 94a0cd94..c0ecf890 100755 --- a/scripts/fill_layout.lua +++ b/scripts/fill_layout.lua @@ -7,6 +7,10 @@ -- anchors, but ignore the actual TOC. local p = io.popen('markdown -f toc -T ' .. arg[1]) local html = p:read('*a'):match('^.-\n</ul>\n(.+)$') +html = html:gsub('<h(%d) id="([^"]+)"', function(n, id) + id = id:gsub('%p+', '-'):gsub('%-$', ''):lower() + return string.format('<h%d id="%s"', n, id) +end) p:close() -- Fill in HTML layout (stdin) with markdown output and print the result. |