+printf("<div class=\"toc\"><strong>Table of Contents</strong>\n<ul>\n");
+foreach ($TOC as $file => $f) {
+ printf("<li><a href=\"#%s\">%s\n<ul>\n", $file, $file);
+ foreach ($f as $cof => $met) {
+ if (is_array($met)) {
+ foreach ($met as $id => $m) {
+ printf("<li><a href=\"#%s_%s\">%s</a></li>\n", $cof, $id, $m);
+ }
+ } else {
+ printf("<li><a href=\"#%s\">%s</a>\n", $cof, $cof);
+ }
+ printf("</li>\n");
+ }
+ printf("</ul>\n</li>\n");
+}
+printf("</ul>\n</div>\n");