X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=Makefile.in;h=67ba7d6100a42a3baa331ef1ae5ddb94911195ea;hp=688f32761aeeb27a9b9d616d9ca8d17a901cf8d4;hb=1996c7f692a3d99586ef145d9f30d4a83cededc1;hpb=db09455b4bf9f7518485e08811d9a2a42e9f0b05 diff --git a/Makefile.in b/Makefile.in index 688f3276..67ba7d61 100644 --- 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: