[webkit-changes] [WebKit/WebKit] 8aa9e8: [WPE][GTK] Remove redundant flags from make-dist s...

[Michael Catanzaro]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 8aa9e80d3a3613d45c02eccdadcc8f5ed37adee0
      https://github.com/WebKit/WebKit/commit/8aa9e80d3a3613d45c02eccdadcc8f5ed37adee0
  Author: Michael Catanzaro <mcatanzaro at redhat.com>
  Date:   2022-12-20 (Tue, 20 Dec 2022)

  Changed paths:
    M Tools/Scripts/make-dist

  Log Message:
  -----------
  [WPE][GTK] Remove redundant flags from make-dist script
https://bugs.webkit.org/show_bug.cgi?id=249611

Reviewed by Carlos Garcia Campos and Carlos Alberto Lopez Perez.

The make-dist script still uses -DENABLE_GTKDOC, which has been
removed and replaced with -DENABLE_DOCUMENTATION, which is ON by
default. The script also still uses -DENABLE_MINIBROWSER, which is
nowadays ON by default.

* Tools/Scripts/make-dist:

Canonical link: https://commits.webkit.org/258152@main