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.
Pull request: https://github.com/WebKit/WebKit/pull/7877
Committed 258152@main (8aa9e80d3a36): <https://commits.webkit.org/258152@main> Reviewed commits have been landed. Closing PR #7877 and removing active labels.