[Webkit-unassigned] [Bug 70877] New: [GTK] [WebKit] Replace the gtkdoc autools magic with something more flexible
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Wed Oct 26 00:36:45 PDT 2011
https://bugs.webkit.org/show_bug.cgi?id=70877
Summary: [GTK] [WebKit] Replace the gtkdoc autools magic with
something more flexible
Product: WebKit
Version: 528+ (Nightly build)
Platform: Unspecified
OS/Version: Unspecified
Status: NEW
Severity: Normal
Priority: P2
Component: WebKit Gtk
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: mrobinson at webkit.org
The gtkdoc autotools magic a bit inflexible.
1. To make it build in the build directory (as opposed to in the source directory) we have to fork the generated makefile. See: http://trac.webkit.org/changeset/97901
2. it would be nice to be able to run the fast parts of gtkdoc during every build so that we would sniff out documentation warnings ealier. The slow part of gtkdoc is gtkdoc-mkhtml.
3. gtkdoc is yet another thing that ties us to autotools. While we don't plan to move away from autotools any time soon, it would be nice to avoid a hard dependency on it.
4. The gtkdoc makefile doesn't do any error reporting and it's hard to debug it when things go wrong.
This patch proposes introducing a python script to run the six (six!) gtkdoc steps intead of the standard makefile approach. I feel the maintenence burden of such a script will be very low.
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list