blob: 71d0039c673d9dd57f58146d3c768c801a9fd1f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
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`; \
|
