diff install-sh @ 40779:a09c65c0b5e2

Minor Texinfo usage fix.
author Richard M. Stallman <rms@gnu.org>
date Tue, 06 Nov 2001 15:46:49 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff