summary refs log tree commit diff
path: root/doc/txt.ml
diff options
context:
space:
mode:
Diffstat (limited to 'doc/txt.ml')
-rw-r--r--doc/txt.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/txt.ml b/doc/txt.ml
index 12e33e8..7414b11 100644
--- a/doc/txt.ml
+++ b/doc/txt.ml
@@ -271,11 +271,11 @@ let rec dochtml titles d =
     | Title (0, n, t) ->
       printf "<h3><a id='%d'>" n;
       escape t;
-      printf "</h3>\n";
+      printf "</a></h3>\n";
     | Title (_, n, t) ->
-      printf "<h3><a id='%d'>" n;
+      printf "<h4><a id='%d'>" n;
       escape t;
-      printf "</h4>\n";
+      printf "</a></h4>\n";
     | Olist l ->
       printf "<ol>\n";
       plist l;