X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=Makefile.in;h=67ba7d6100a42a3baa331ef1ae5ddb94911195ea;hp=f7c7f1be4e65a87dc6b5b0d8fbb21232911e265f;hb=1996c7f692a3d99586ef145d9f30d4a83cededc1;hpb=d041f4528426640d73d141cec7fd2576f7e8be84

diff --git a/Makefile.in b/Makefile.in
index f7c7f1be..67ba7d61 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -247,7 +247,7 @@ install: all
 ChangeLog:
 	para_util changelog > $@
 web/%.in.html: %
-	grutatxt -nb < $< > $@
+	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: