delete level3 in grutatext output

diff --git a/Makefile.in b/Makefile.in
index 688f32761aeeb27a9b9d616d9ca8d17a901cf8d4..67ba7d6100a42a3baa331ef1ae5ddb94911195ea 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -247,7 +247,7 @@ install: all
 ChangeLog:
        para_util changelog > $@
 web/%.in.html: %
-       grutatxt -nb  < $<  | sed -e 's/pre/p/g'  > $@
+       grutatxt -nb  < $<  | sed -e 's/pre/p/g' -e 's/class=level3//g' > $@
 tags:
        rm -rf web/sync/HTML && gtags && htags -nF && mv HTML web/sync
 doc: