dotnet-gtk-sharp-gtkhtml31.patch

   1 diff -urN aa/gtk-sharp-0.16/configure.in gtk-sharp-0.16/configure.in
   2 --- aa/gtk-sharp-0.16/configure.in      2004-01-17 23:47:35.000000000 +0100
   3 +++ gtk-sharp-0.16/configure.in 2004-02-16 14:30:08.226008352 +0100
   4 @@ -101,6 +101,14 @@
   5
   6  GTKHTML_REQUIRED_VERSION=3.0
   7  PKG_CHECK_MODULES(GTKHTML_DEPENDENCIES, libgtkhtml-3.0 >= $GTKHTML_REQUIRED_VERSION, enable_gtkhtml=yes, enable_gtkhtml=no)
   8 +PKG_CHECK_MODULES(GTKHTML_DEPENDENCIES, libgtkhtml-3.1 >= $GTKHTML_REQUIRED_VERSION, enable_gtkhtml31=yes, enable_gtkhtml31=no)
   9 +if test "x$enable_gtkhtml31" = "xyes"; then
  10 +       enable_gtkhtml=yes
  11 +       for i in gtkhtml/gtkhtml-api.raw sources/gtk-sharp-sources.xml; do
  12 +               sed -e 's/"gtkhtml-3.0"/"gtkhtml-3.1"/' $i > gtkhtml-tmp
  13 +               mv -f gtkhtml-tmp $i
  14 +       done
  15 +fi
  16  if test "x$enable_gtkhtml" = "xyes"; then
  17         BASE_DEPENDENCIES_CFLAGS="$BASE_DEPENDENCIES_CFLAGS $GTKHTML_DEPENDENCIES_CFLAGS"
  18         BASE_DEPENDENCIES_LIBS="$BASE_DEPENDENCIES_LIBS $GTKHTML_DEPENDENCIES_LIBS"