Refer to `Gtk+' rather than removed option `--with-gtk'.
commitc42e773e81e349cd278c2b83ff67c0beb9896ba5
authorGlenn Morris <rgm@gnu.org>
Wed, 6 Feb 2008 08:00:42 +0000 (6 08:00 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 6 Feb 2008 08:00:42 +0000 (6 08:00 +0000)
treef2389c0fa4f0b2f710a704d6be41bae525526ff5
parenta46ee55c5c005c6496fb9d33aed48c30e6db1214
Refer to `Gtk+' rather than removed option `--with-gtk'.
etc/PROBLEMS