diff configure.in @ 69849:85e6a1c82a54

(Other Display Specs): Arrange a @code{DOTTED-LIST} to be on one line to help makeinfo not render two spaces after the dot.
author Thien-Thi Nguyen <ttn@gnuvola.org>
date Fri, 07 Apr 2006 22:10:37 +0000
parents fd7f83c9079e
children 2b8661046f9e 81f2d90dee68 482dfed28bee
line wrap: on
line diff