1 files changed, 6 insertions, 3 deletions
diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 9fda0d0cad..b69e8b3695 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -668,14 +668,17 @@ module Html = struct
 	  printf "<hr/>"; print_table ()
 	end
 	    
-  let make_toc () = 
+	  
+  let make_toc () =
     let make_toc_entry = function
       | Toc_library m -> 
 	  stop_item ();
 	  printf "<a href=\"%s.html\"><h2>Library %s</h2></a>\n" m m
       | Toc_section (n, f, r) ->
-	  item n; 
-	  printf "<a href=\"%s\">" r; f (); printf "</a>\n"
+          if n <= 3 then begin
+	    item n; 
+	    printf "<a href=\"%s\">" r; f (); printf "</a>\n"
+	  end
     in
       Queue.iter make_toc_entry toc_q;
       stop_item ();