From 9c01e39351ae958541b983961851a2474dabeb8d Mon Sep 17 00:00:00 2001 From: Marc Feeley 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