Fixed HTML manual and added web homepage.

[omk.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 21c32150fb8ff60ca0c8f5d568b506a5465c18d1..30da936bf758374f353e28e93fad3d3d2bf8aedd 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -16,6 +16,10 @@ PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
 
 %.html: %.texinfo
        texi2html --l2h $<
+# Fix texinfo HTML output
+       perl -w -n -e 'if (/<div class="contents">/) {$$toc=1}' \
+                  -e 'if (!$$toc) { s/class="toc"//}; print' < $@ > $@.tmp
+       mv $@.tmp $@
 
 clean:
        rm -f $(SOURCE).{aux,cp,cps,fn,ky,log,pg,toc,tp,vr,vrs} $(PDF_FIGS)