diff man/trouble.texi @ 37580:ac2f45ecf299

Use @smallexample for the echo LC... command.
author Richard M. Stallman <rms@gnu.org>
date Sat, 05 May 2001 22:37:09 +0000
parents e2849d417d6d
children 3f26bbf930e8
line wrap: on
line diff
--- 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.