mono/mono-addins — pull request #13 by knocte (2014-01-20 17:28:24+00:00)
Title: configure: if gtk is not found, advice about --disable-gui

With this, user will know that he can build without the GUI features
if she wants.