diff --git a/doc/Makefile b/doc/Makefile index 75fc6e6..a259015 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -11,6 +11,7 @@ html/%.html: %.txt echo ''; \ + sed -ne '2{s,.*,&,;p;q}' $<; \ echo '
'; \ sed -ne '2{s,.*,

&

,;p;q}' $<; \ sed -e '1,3d' $< | ocaml txt.ml; \ 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 "

" n; escape t; - printf "

\n"; + printf "\n"; | Title (_, n, t) -> - printf "

" n; + printf "

" n; escape t; - printf "

\n"; + printf "

\n"; | Olist l -> printf "
    \n"; plist l;