From: Andre <maan@p133.(none)>
Date: Sat, 10 Jun 2006 21:02:23 +0000 (+0200)
Subject: web: replace <pre> by <p>
X-Git-Tag: v0.2.14~63^2~8
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=db09455b4bf9f7518485e08811d9a2a42e9f0b05;p=paraslash.git

web: replace <pre> by <p>
---

diff --git a/Makefile.in b/Makefile.in
index f7c7f1be..688f3276 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'  > $@
 tags:
 	rm -rf web/sync/HTML && gtags && htags -nF && mv HTML web/sync
 doc: