Bug 249611

Summary:	[WPE][GTK] Remove redundant flags from make-dist script
Product:	WebKit	Reporter:	Michael Catanzaro <mcatanzaro>
Component:	WebKitGTK	Assignee:	Michael Catanzaro <mcatanzaro>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	bugs-noreply
Priority:	P2
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

Description Michael Catanzaro 2022-12-19 14:56:39 PST

The make-dist script still uses -DENABLE_GTKDOC, which has been removed and replaced with -DENABLE_DOCUMENTATION, which is ON by default and does not need to be specified manually. The script also still uses -DENABLE_MINIBROWSER=ON, which is nowadays ON by default.

Comment 1 Michael Catanzaro 2022-12-19 15:13:17 PST

Pull request: https://github.com/WebKit/WebKit/pull/7877

Comment 2 EWS 2022-12-20 11:52:25 PST

Committed 258152@main (8aa9e80d3a36): <https://commits.webkit.org/258152@main>

Reviewed commits have been landed. Closing PR #7877 and removing active labels.