# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 989102229 0
# Node ID ac2f45ecf299ff6b046293919e5c1837bfbb311b
# Parent  5533c836d34c65b1c6e9d7df7e57746b6d4e3d2d
Use @smallexample for the echo LC... command.

diff -r 5533c836d34c -r ac2f45ecf299 man/trouble.texi
--- a/man/trouble.texi	Sat May 05 22:36:36 2001 +0000
+++ b/man/trouble.texi	Sat May 05 22:37:09 2001 +0000
@@ -672,10 +672,10 @@
 if you use a Unix-style shell such as Bash, you can use this shell
 command to view the relevant values:
 
-@example
+@smallexample
 echo LC_ALL=$LC_ALL LC_COLLATE=$LC_COLLATE LC_TYPE=$LC_TYPE \
   LC_MESSAGES=$LC_MESSAGES LC_TIME=$LC_TIME LANG=$LANG
-@end example
+@end smallexample
 
 Alternatively, use the @command{locale} command, if your system has it,
 to display your locale settings.