Double footer looked funny.

diff --git a/doc/view.php b/doc/view.php
index 522c187ce965f0389376621d4669ddadc4fa26ed..11ea956a067e52c0470c6dc118e504b48a473a79 100644 (file)
--- a/doc/view.php
+++ b/doc/view.php
@@ -24,7 +24,5 @@
         echo "</BLOCKQUOTE>";
     }
 
-    print_footer($course);
-
 ?>