diff options
Diffstat (limited to 'webkit/python.patch')
| -rw-r--r-- | webkit/python.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/webkit/python.patch b/webkit/python.patch new file mode 100644 index 000000000..a04ad641c --- /dev/null +++ b/webkit/python.patch @@ -0,0 +1,12 @@ +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`; \ |