So in Debian and Ubuntu our webkit package builds the two flavors of WebkitGTK+: gtk2 and gtk3. We use build-2.0 to build the former and build-3.0 for the later. We get this error after the gtk-doc stuff changed: ../Tools/gtk/generate-gtkdoc Could not determine build directory. make[1]: *** [docs-build.stamp] Error 1 A patch is forthcoming.
Created attachment 126089 [details] Patch
Comment on attachment 126089 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=126089&action=review > Tools/gtk/common.py:70 > + build_dir = os.getcwd() > + if is_valid_build_directory(build_dir): > + return build_dir > + I think you should drop a comment here explaining this is necessary. Might also want to mention who had the problem originally (Debian downstream), so that in the future we know who ask about it if the code is moved around.
Comment on attachment 126089 [details] Patch Clearing flags on attachment: 126089 Committed r107098: <http://trac.webkit.org/changeset/107098>
All reviewed patches have been landed. Closing bug.