From e543c56a4f38959fe11aa8e1d13637eeb244d0ae Mon Sep 17 00:00:00 2001 From: Alessio Sergi Date: Mon, 24 Jul 2017 12:47:27 +0200 Subject: [PATCH] options.description: add GTK+3 build option description --- common/options.description | 1 + 1 file changed, 1 insertion(+) diff --git a/common/options.description b/common/options.description index 3a4c1dc8686..5660220feac 100644 --- a/common/options.description +++ b/common/options.description @@ -26,6 +26,7 @@ desc_option_gnome="Enable support for GNOME" desc_option_gnutls="Enable support for SSL with gnutls" desc_option_gssapi="Enable support for GSSAPI" desc_option_gstreamer="Enable support for GStreamer" +desc_option_gtk3="Enable support for the GTK+3 GUI toolkit" desc_option_guile="Enable support for Guile lang" desc_option_ffmpeg="Enable support for FFmpeg" desc_option_harfbuzz="enable support for Harfbuzz"