diff configure.in @ 97880:b81e767914b5

(Info-hide-note-references, Info-refill-paragraphs): Doc fixes.
author Glenn Morris <rgm@gnu.org>
date Sat, 30 Aug 2008 20:16:36 +0000
parents fc1990cb3e56
children 29005e3eddab
line wrap: on
line diff