Hello Maxime,

On 2022-03-20, 14:22 +0100, Maxime Devos <maximedevos@telenet.be> 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 <maximedevos@telenet.be> 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