diff debian/patches/001_configure.patch @ 2:f6716cb00029

Replace buggy stuff in deb dir, never make phone calls while working
author Peter Gervai <grin@grin.hu>
date Tue, 10 Mar 2009 14:29:12 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/debian/patches/001_configure.patch	Tue Mar 10 14:29:12 2009 +0100
@@ -0,0 +1,19 @@
+--- configure.orig	2004-11-08 13:54:56.000000000 +0100
++++ configure	2004-11-08 13:55:18.000000000 +0100
+@@ -3471,12 +3471,12 @@
+ 
+ 
+ 
+-sed -e 's@\(HREF="[^"]*\)\.in">@\1">@' INSTALL.html > INSTALL.html$$
+-rm INSTALL.html; mv INSTALL.html$$ INSTALL.html
++#sed -e 's@\(HREF="[^"]*\)\.in">@\1">@' INSTALL.html > INSTALL.html$$
++#rm INSTALL.html; mv INSTALL.html$$ INSTALL.html
+ 
+ 
+-sed -e 's@\(HREF="[^"]*\)\.in">@\1">@' FAQ.html > FAQ.html$$
+-rm FAQ.html; mv FAQ.html$$ FAQ.html
++#sed -e 's@\(HREF="[^"]*\)\.in">@\1">@' FAQ.html > FAQ.html$$
++#rm FAQ.html; mv FAQ.html$$ FAQ.html
+ 
+ 
+