diff move-if-change @ 107408:eba6eb70e988

Doc fix. * configure.in (--with-x-toolkit): In the help text, say which options are synonyms.
author Glenn Morris <rgm@gnu.org>
date Wed, 17 Mar 2010 22:54:09 -0700
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff