]> Git repositories of Nishi - docgen.git/commitdiff
generates a good config
authorNishi <nishi@nishi.boats>
Mon, 30 Sep 2024 05:22:29 +0000 (05:22 +0000)
committerNishi <nishi@nishi.boats>
Mon, 30 Sep 2024 05:22:29 +0000 (05:22 +0000)
git-svn-id: file:///raid/svn-personal/docgen/trunk@4 44bc13e5-44cb-984e-b856-1907bf1ada44

docgen

diff --git a/docgen b/docgen
index fd4e9b35a95706dea92f7a4e985585184acc941d..48e1bc16daba02c95b9f209735c74060b97b3ff6 100755 (executable)
--- a/docgen
+++ b/docgen
@@ -78,7 +78,11 @@ proc start_html {fid title toc dots} {
                puts $fid "                             </div>"
                puts $fid "                     </div>"
        }
-       puts $fid "                     <div id=\"docinside\">"
+       if { "$toc" == "" } {
+               puts $fid "                     <div id=\"docinside-notoc\">"
+       } else { 
+               puts $fid "                     <div id=\"docinside\">"
+       }
 }
 
 proc end_html {fid} {
@@ -300,6 +304,8 @@ puts $fid "}"
 puts $fid "#docinside {"
 puts $fid "    padding-right: 14em;"
 puts $fid "}"
+puts $fid "#docinside-notoc {"
+puts $fid "}"
 puts $fid "#tocinside {"
 puts $fid "    padding: 5px;"
 puts $fid "}"