From 2b6638777c924aabbfe95f4b765de9951448a0f0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Aug 2006 18:38:57 +0000
Subject: Tweak to FAQ#1

---
 FAQ | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'FAQ')

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.
-- 
cgit v1.2.3