aboutsummaryrefslogtreecommitdiffhomepage
path: root/FAQ
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2006-08-23 18:38:57 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2006-08-23 18:38:57 +0000
commit2b6638777c924aabbfe95f4b765de9951448a0f0 (patch)
treec3eceeb96eedd6773b84e305c884addd06d06e22 /FAQ
parente0145fc17a0d7a649995962dbc66f0122bdfecc6 (diff)
Tweak to FAQ#1
Diffstat (limited to 'FAQ')
-rw-r--r--FAQ8
1 files changed, 4 insertions, 4 deletions
diff --git a/FAQ b/FAQ
index 679b6bfe..5fe677a6 100644
--- a/FAQ
+++ b/FAQ
@@ -32,10 +32,10 @@ A. This is caused by UTF-8 support in recent linuxes with glibc 2.2 or later
by default is "en_GB.UTF-8": I see this by typing "locale" at
the prompt).
- This is fixed in the development version of Proof General: the
- supplied proofgeneral script makes an adjustment if it sees
- the string UTF in the current value of LC_CTYPE and an adjustment
- is made inside the Emacs environment.
+ This is fixed in the startup shell script in recent development
+ versions of Proof General: the supplied "proofgeneral" script makes an
+ adjustment if it sees the string UTF in the current value of
+ LC_CTYPE and an adjustment is made inside the Emacs environment.
Alternatively you can set LC_CTYPE inside a file ~/.i18n, which will
be read the shell. Put a line such as "LC_CTYPE=en_GB" into this file.