- updated for gtk-sharp-0.18

Changed files:
    gtk-sharp-gtkhtml31.patch -> 1.3

diff --git a/gtk-sharp-gtkhtml31.patch b/gtk-sharp-gtkhtml31.patch
index cf5b5b0b761a2991ced3a5b2615a8b79f59beb4f..37747f5f9117478c304161b2f6d47b44ad5572c9 100644 (file)
--- a/gtk-sharp-gtkhtml31.patch
+++ b/gtk-sharp-gtkhtml31.patch
@@ -8,7 +8,7 @@ diff -urN aa/gtk-sharp-0.16/configure.in gtk-sharp-0.16/configure.in
 +PKG_CHECK_MODULES(GTKHTML_DEPENDENCIES, libgtkhtml-3.1 >= $GTKHTML_REQUIRED_VERSION, enable_gtkhtml31=yes, enable_gtkhtml31=no)
 +if test "x$enable_gtkhtml31" = "xyes"; then
 +      enable_gtkhtml=yes
-+      for i in gtkhtml/gtkhtml-api.xml sources/gtk-sharp-sources.xml; do
++      for i in gtkhtml/gtkhtml-api.raw sources/gtk-sharp-sources.xml; do
 +              sed -e 's/"gtkhtml-3.0"/"gtkhtml-3.1"/' $i > gtkhtml-tmp
 +              mv -f gtkhtml-tmp $i
 +      done