X-Git-Url: http://rtime.felk.cvut.cz/gitweb/omk.git/blobdiff_plain/ba5a53f2acec2d73bc3e1eb27923ab93c5b478d8..77af53a705f9ff9da077e587bb1941d58fc87943:/doc/Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 21c3215..30da936 100644
--- 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)