Title: [111294] releases/WebKitGTK/webkit-1.8/Tools
Diff
Modified: releases/WebKitGTK/webkit-1.8/Tools/ChangeLog (111293 => 111294)
--- releases/WebKitGTK/webkit-1.8/Tools/ChangeLog 2012-03-20 01:33:01 UTC (rev 111293)
+++ releases/WebKitGTK/webkit-1.8/Tools/ChangeLog 2012-03-20 01:35:52 UTC (rev 111294)
@@ -1,3 +1,12 @@
+2012-03-19 Ionut Biru <[email protected]>
+
+ [BUILD] use detected python to run generate-gtkdoc
+ https://bugs.webkit.org/show_bug.cgi?id=80695
+
+ Reviewed by Gustavo Noronha Silva.
+
+ * GNUmakefile.am: Use $(PYTHON) instead of plain `python`
+
2012-03-06 Sheriff Bot <[email protected]>
Unreviewed, rolling out r109760.
Modified: releases/WebKitGTK/webkit-1.8/Tools/GNUmakefile.am (111293 => 111294)
--- releases/WebKitGTK/webkit-1.8/Tools/GNUmakefile.am 2012-03-20 01:33:01 UTC (rev 111293)
+++ releases/WebKitGTK/webkit-1.8/Tools/GNUmakefile.am 2012-03-20 01:35:52 UTC (rev 111294)
@@ -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`; \
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes