From dbc16e1633547319e5d1c91c5ad296b8897322b1 Mon Sep 17 00:00:00 2001
From: Vadim Zeitlin <vadim@wxwidgets.org>
Date: Fri, 4 Dec 2020 20:16:16 +0100
Subject: [PATCH] Also document wxMediaCtrl and wxWebView dependencies

These are arguably important enough to be mentioned too.
---
 docs/gtk/install.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs/gtk/install.md b/docs/gtk/install.md
index 00709d9db8..0955cab5a5 100644
--- a/docs/gtk/install.md
+++ b/docs/gtk/install.md
@@ -154,6 +154,13 @@ minimize external dependencies.
     --disable-glcanvasegl   Disable EGL support even if it is available
                             (it would be used if it is, by default).
 
+    --disable-mediactrl     Disable wxMediaCtrl.
+                            Don't use GStreamer libraries.
+
+    --disable-webview       Disable wxWebView.
+                            Don't use webkit2gtk and its multiple
+                            dependencies.
+
 Normally, you won't have to choose a toolkit, because configure
 defaults to wxGTK anyhow. However you need to use this option to
 explicitly specify the version of GTK to use, e.g.: