diff options
| author |   mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-14 00:08:28 -0400 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-14 00:08:28 -0400 |
| commit | 11bd2d15a880755fa8c58c39cf1de13ae0dd2b2a (patch) | |
| tree | 2d8ff53f64762f45d84117bb9db6a6b34f1bd91d /scripts | |
| parent | 8d20bce133389221acc5de7dab7e7fabfdee24b0 (diff) | |
| download | textadept-11bd2d15a880755fa8c58c39cf1de13ae0dd2b2a.tar.gz textadept-11bd2d15a880755fa8c58c39cf1de13ae0dd2b2a.zip | |
More small documentation updates.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/fill_layout.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/fill_layout.lua b/scripts/fill_layout.lua index c0ecf890..a60584dc 100755 --- a/scripts/fill_layout.lua +++ b/scripts/fill_layout.lua @@ -8,7 +8,7 @@ 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() + id = id:gsub('%p+', '-'):gsub('%-$', ''):lower():gsub('^l%-', '') return string.format('<h%d id="%s"', n, id) end) p:close() |