diff options
Diffstat (limited to 'webkit/python.patch')
| -rw-r--r-- | webkit/python.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/webkit/python.patch b/webkit/python.patch deleted file mode 100644 index a04ad641c..000000000 --- a/webkit/python.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -Nur webkit-1.7.91.orig/Tools/GNUmakefile.am webkit-1.7.91/Tools/GNUmakefile.am ---- webkit-1.7.91.orig/Tools/GNUmakefile.am 2012-03-08 12:37:34.221447643 +0000 -+++ webkit-1.7.91/Tools/GNUmakefile.am 2012-03-08 12:53:28.713523074 +0000 -@@ -326,7 +326,7 @@ - fi; \ - fi - endif -- $(srcdir)/Tools/gtk/generate-gtkdoc --rebase --virtual-root=$${DESTDIR} -+ $(AM_V_GEN)$(PYTHON) $(srcdir)/Tools/gtk/generate-gtkdoc --rebase --virtual-root=$${DESTDIR} - - uninstall-local: - @DOC_MODULE_VERSION=`cat ./Documentation/webkitgtk/version.xml`; \ |