diff options
| author | Zach van Rijn <me@zv.io> | 2022-12-01 11:09:15 -0600 |
|---|---|---|
| committer | Zach van Rijn <me@zv.io> | 2022-12-01 22:31:02 +0000 |
| commit | 3fe3b6f911534b724e98653d21b287e6f5503280 (patch) | |
| tree | a0716275bbdc92b8eef75b8cbba35192a3274c8e /user/gambit-c/remove-non-ascii-character-from-gambit-txi.patch | |
| parent | 7d36744638d6fdd845e3a548c49c64896b094d57 (diff) | |
| download | packages-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.patch | 22 |
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 |