[Webkit-unassigned] [Bug 91239] New: Uses gtk-doc tools even when --disable-gtk-doc passed

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=91239

           Summary: Uses gtk-doc tools even when --disable-gtk-doc passed
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: PC
        OS/Version: Linux
            Status: UNCONFIRMED
          Severity: Normal
          Priority: P2
         Component: WebKit Gtk
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: ross at burtonini.com


(using webkitgtk 1.8.1)

If I pass --disable-gtk-doc to configure, "make install" errors out because it tries to run gtkdoc-rebase.

This happens in Tools/GNUmakefile.am, install-data-local, after it's installed the HTML documentation.

(our build system doesn't have gtk-doc as it pulls in 

Attaching a patch to wrap this call in "if ENABLE_GTK_DOC".  If you git repo wasn't larger than the internet itself, I'd have sent this as a git patch.

(if this gets accepted, much appreciated if the author email is ross.burton at intel.com)

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.