diff configure.in @ 33621:2c59540663ad

(info-menu-5): Doc fix.
author Gerd Moellmann <gerd@gnu.org>
date Sun, 19 Nov 2000 22:10:52 +0000
parents 4a8304668f5c
children 6242368d9e4c
line wrap: on
line diff