changeset 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 5533c836d34c
children b363ae16a6b0
files man/trouble.texi
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
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.