X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=b00a75b14770f824c13737d9182307a347c02546;hb=d6f31aec49cf2d0913ed4e88b0d821b296e9e167;hp=3a074e20a49e460901cb8ca63ac528b7c4bd5b96;hpb=dca2f6d80dcb53dd1a12c675118d4b7e0716b292;p=pspp

diff --git a/configure.ac b/configure.ac
index 3a074e20a4..b00a75b147 100644
--- a/configure.ac
+++ b/configure.ac
@@ -121,7 +121,7 @@ AM_CONDITIONAL(GNM_SUPPORT, test x"$gnm_support" = x"yes")
 
 AC_ARG_WITH(
   gui_tools,
-  [AS_HELP_STRING([--with-gui-tools], [build the gui developer tools])])
+  [AS_HELP_STRING([--with-gui-tools], [build the gui developer tools.  For DEVELOPERS only! There is no reason why users will need this flag.])])
 if test x"$with_gui_tools" = x"yes" ; then 
 	PKG_CHECK_MODULES(GLADE_UI, gladeui-1.0)
 fi