summaryrefslogtreecommitdiff
path: root/user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch
diff options
context:
space:
mode:
authorZach van Rijn <me@zv.io>2022-12-01 11:09:15 -0600
committerZach van Rijn <me@zv.io>2022-12-01 22:31:02 +0000
commit3fe3b6f911534b724e98653d21b287e6f5503280 (patch)
treea0716275bbdc92b8eef75b8cbba35192a3274c8e /user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch
parent7d36744638d6fdd845e3a548c49c64896b094d57 (diff)
downloadpackages-3fe3b6f911534b724e98653d21b287e6f5503280.tar.gz
packages-3fe3b6f911534b724e98653d21b287e6f5503280.tar.bz2
packages-3fe3b6f911534b724e98653d21b287e6f5503280.tar.xz
packages-3fe3b6f911534b724e98653d21b287e6f5503280.zip
user/gambit-c: new package.
Diffstat (limited to 'user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch')
-rw-r--r--user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch22
1 files changed, 22 insertions, 0 deletions
diff --git a/user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch b/user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch
new file mode 100644
index 000000000..6bee6b2a1
--- /dev/null
+++ b/user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch
@@ -0,0 +1,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