Subject: Re: [bug#54474] [PATCH 1/6] gnu: Add emacs-logos.

From: Jai Vetrivelan <[email-masked]>
Date: Sun, 20 Mar 2022 19:03:22 +0530

Hello Maxime,

On 2022-03-20, 14:22 +0100, Maxime Devos <[email-masked]> wrote:

> Jai Vetrivelan schreef op zo 20-03-2022 om 18:48 [+0530]:
>> +   (license license:gpl3+))) ; GFDLv1.3+ for the manual
>
> It's possible to include multiple license in this field, as a list,
> see e.g. gnunet-scheme. 
>
> Greetings,
> Maxime.

Noted.

On 2022-03-20, 14:22 +0100, Maxime Devos <[email-masked]> wrote:

> Jai Vetrivelan schreef op zo 20-03-2022 om 18:48 [+0530]:
>> `page-delimiter'
>
> This is not Texinfo markup, maybe @code{...} is necessary here?
>
> Greetings,
> Maxime

It is an emacs variable, would @code{..} be okay?

-- 
Jai Vetrivelan