]> Nishi Git Mirror - docgen.git/commitdiff
add icon
authorNishi <nishi@nishi.boats>
Mon, 30 Sep 2024 05:35:41 +0000 (05:35 +0000)
committerNishi <nishi@nishi.boats>
Mon, 30 Sep 2024 05:35:41 +0000 (05:35 +0000)
git-svn-id: file:///raid/svn-personal/docgen/trunk@6 44bc13e5-44cb-984e-b856-1907bf1ada44

docgen

diff --git a/docgen b/docgen
index b75c26c6a21919a27ef2a87ee5045ed83a32d5e7..433e33e308a21d9b5224e562ef01b5d9d4012b7a 100755 (executable)
--- a/docgen
+++ b/docgen
@@ -66,6 +66,9 @@ proc start_html {fid title toc dots} {
        puts $fid "             <meta http-equiv=\"Content-Type\" content=\"text/html;charset=UTF-8\">"
        puts $fid "             <title>$title</title>"
        puts $fid "             <link rel=\"stylesheet\" href=\"$dots/style.css\">"
+       if { "$icon" != "" } {
+               puts $fid "             <link rel=\"icon\" href=\"$dots/[file tail "$icon"]\">"
+       }
        puts $fid "     </head>"
        puts $fid "     <body>"
        if { "$icon" != "" } {