diff options
author | isaacs <i@izs.me> | 2012-01-23 14:12:20 +0400 |
---|---|---|
committer | isaacs <i@izs.me> | 2012-01-24 01:11:33 +0400 |
commit | 6768d2fc936ea4d8786897ea9c5c415efedb5b24 (patch) | |
tree | 206d52fe4289b00056cb3840534d9fa9d7045544 /tools | |
parent | 5c0d11b12a8214110bb78639daab452ce3d252e0 (diff) |
doc: Pixel-nudging
Diffstat (limited to 'tools')
-rw-r--r-- | tools/doctool/doctool.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/doctool/doctool.js b/tools/doctool/doctool.js index ca3f60958b1..85acad2a367 100644 --- a/tools/doctool/doctool.js +++ b/tools/doctool/doctool.js @@ -129,6 +129,9 @@ if (argc > 3) { output = output.replace("{{section}}", filename+" - ") } else { + if (filename === "index") { + html = '<div id="toc">' + html + '</div>'; + } output = output.replace("{{section}}", ""); output = output.replace(/<body([^>]*)>/, '<body class="'+filename+'" $1>'); } |