End the page with correct HTML.

UniGe · Jan 27, 2005 · e78bd55 · e78bd55
1 parent 5b13d65
commit e78bd55
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/contents.php b/doc/contents.php
@@ -32,5 +32,7 @@
         echo '</ul>';
     }
 
+    // Sloppy way to produce valid markup... there should be a print_footer_minimal().
+    echo '</div></div></body></html>';
 
 ?>