Minor Texinfo usage fix.
commit65247564667db48f8395316cb6c9b63cb6094e6a
authorRichard M. Stallman <rms@gnu.org>
Mon, 14 Oct 2002 01:31:35 +0000 (14 01:31 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 14 Oct 2002 01:31:35 +0000 (14 01:31 +0000)
tree1be6ea1e25059efa28a52c7d1cdda7882845f9db
parentcba59f778608e94182d6d652c8a6bc4ced86739c
Minor Texinfo usage fix.
man/widget.texi