[Webkit-unassigned] [Bug 134542] New: [GTK] make dist is broken

[bugzilla-daemon at webkit.org]

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

           Summary: [GTK] make dist is broken
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Keywords: Gtk
          Severity: Normal
          Priority: P2
         Component: WebKit Gtk
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: cgarcia at igalia.com
                CC: gns at gnome.org, mrobinson at webkit.org


The cmake target is never added because it depends on WebKit1 that is no longer in tree. The manifest contains path to WebKit documentation files that don't exist either. And the command line options used by cmake don't match the ones defines in the make-dist.py script.

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