bug#56634: closed ([PATCH] * eudc.texi: Unquote setopt option names)

[GNU bug Tracking System]

Your message dated Tue, 19 Jul 2022 11:07:38 -0400
with message-id <m3bktlnnt1.fsf@fitzsim.org>
and subject line Re: bug#56634: [PATCH] * eudc.texi: Unquote setopt option names
has caused the debbugs.gnu.org bug report #56634,
regarding [PATCH] * eudc.texi: Unquote setopt option names
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
56634: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56634
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] * eudc.texi: Unquote setopt option names Date: Mon, 18 Jul 2022 20:46:40 +0000

Tags: patch


Reading through the EUDC manual I noticed that the setopt examples
cannot be evaluated since the option names are quoted (as if passed to
`customize-set-variable').  The patch below fixes this.

>From what I see this isn't been done anywhere else, so this patch should
fix the issue.

In GNU Emacs 29.0.50 (build 3, x86_64-pc-linux-gnu, GTK+ Version 2.24.33, cairo 
version 1.16.0)
 of 2022-07-14 built on icterid
Repository revision: 73054b61486b5ac6bfd96f6421a6f7dc1483fa5d
Repository branch: feature/package+vc
Windowing system distributor 'The X.Org Foundation', version 11.0.12011000
System Description: Debian GNU/Linux 11 (bullseye)

0001-eudc.texi-Unquote-setopt-option-names.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#56634: [PATCH] * eudc.texi: Unquote setopt option names
>
>
>
>
> Date: 
>
> Tue, 19 Jul 2022 11:07:38 -0400
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux)
>
>
>
>
> Stefan Kangas <stefankangas@gmail.com> writes:
>
> > Philip Kaludercic <philipk@posteo.net> writes:
> >
> >> Reading through the EUDC manual I noticed that the setopt examples
> >> cannot be evaluated since the option names are quoted (as if passed to
> >> `customize-set-variable').  The patch below fixes this.
> >
> > LGTM, please push.
>
> Pushed, thanks.
>
> Thomas
>
>
> --- End Message ---