web: replace <pre> by <p>
authorAndre <maan@p133.(none)>
Sat, 10 Jun 2006 21:02:23 +0000 (23:02 +0200)
committerAndre <maan@p133.(none)>
Sat, 10 Jun 2006 21:02:23 +0000 (23:02 +0200)
Makefile.in

index f7c7f1b..688f327 100644 (file)
@@ -247,7 +247,7 @@ install: all
 ChangeLog:
        para_util changelog > $@
 web/%.in.html: %
-       grutatxt -nb < $< > $@
+       grutatxt -nb  < $<  | sed -e 's/pre/p/g'  > $@
 tags:
        rm -rf web/sync/HTML && gtags && htags -nF && mv HTML web/sync
 doc: