From e78bd550b24b90c9893a8675b5562d76d067e711 Mon Sep 17 00:00:00 2001
From: defacer <defacer>
Date: Thu, 27 Jan 2005 05:20:31 +0000
Subject: [PATCH] End the page with correct HTML.

---
 doc/contents.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/contents.php b/doc/contents.php
index dba83a7d43919..243b520103968 100755
--- 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>';
     
 ?>