summaryrefslogtreecommitdiff
path: root/user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch
blob: 6bee6b2a13a120b05a01762d293302ad3480bf46 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
From 9c01e39351ae958541b983961851a2474dabeb8d Mon Sep 17 00:00:00 2001
From: Marc Feeley <feeley@iro.umontreal.ca>
Date: Tue, 4 Jan 2022 09:19:32 -0500
Subject: [PATCH] Remove non-ASCII character from gambit.txi

---
 doc/gambit.txi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/gambit.txi b/doc/gambit.txi
index 56187714b..a6a4caa90 100644
--- a/doc/gambit.txi
+++ b/doc/gambit.txi
@@ -6658,7 +6658,7 @@ For example:
 $ @b{gsi github.com/gambit/hello/demo  @r{@i{# auto-install of github.com/gambit/hello package}}}
 People customarily greet each other when they meet.
 In English you can say: hello Bob, nice to see you!
-In French you can say: bonjour Bob, je suis enchant�!
+In French you can say: bonjour Bob, je suis enchant@'e!
 Demo source code: /Users/feeley/.gambit_userlib/github.com/gambit/hello/@@/demo.scm
 $ @b{gsi github.com/feeley/roman/demo  @r{@i{# no auto-install because not on whitelist}}}
 *** ERROR IN ##main -- No such file or directory