diff options
Diffstat (limited to 'doc/txt.ml')
-rw-r--r-- | doc/txt.ml | 6 |
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; |