diff options
Diffstat (limited to 'meta/recipes-sato/webkit/files/no-gtkdoc.patch')
| -rw-r--r-- | meta/recipes-sato/webkit/files/no-gtkdoc.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/meta/recipes-sato/webkit/files/no-gtkdoc.patch b/meta/recipes-sato/webkit/files/no-gtkdoc.patch new file mode 100644 index 0000000000..4eb09dc0e2 --- /dev/null +++ b/meta/recipes-sato/webkit/files/no-gtkdoc.patch | |||
| @@ -0,0 +1,20 @@ | |||
| 1 | make install invokes a gtk-doc tool without checking that we have gtk-doc. | ||
| 2 | |||
| 3 | Signed-off-by: Ross Burton <ross.burton@intel.com> | ||
| 4 | |||
| 5 | Upstream-Status: Pending (https://bugs.webkit.org/show_bug.cgi?id=91239) | ||
| 6 | |||
| 7 | Index: webkit-1.8.1/Tools/GNUmakefile.am | ||
| 8 | =================================================================== | ||
| 9 | --- webkit-1.8.1.orig/Tools/GNUmakefile.am | ||
| 10 | +++ webkit-1.8.1/Tools/GNUmakefile.am | ||
| 11 | @@ -330,7 +330,9 @@ if ENABLE_WEBKIT2 | ||
| 12 | fi; \ | ||
| 13 | fi | ||
| 14 | endif | ||
| 15 | +if ENABLE_GTK_DOC | ||
| 16 | @$(AM_V_GEN)$(PYTHON) $(srcdir)/Tools/gtk/generate-gtkdoc --rebase --virtual-root=$${DESTDIR} | ||
| 17 | +endif | ||
| 18 | |||
| 19 | uninstall-local: | ||
| 20 | @DOC_MODULE_VERSION=`cat ./Documentation/webkitgtk/version.xml`; \ | ||
