Subject: Re: bug#63851: [PATCH] doc: Use the term "Procedure" for definitions.

From: Ludovic Courtès <[email-masked]>
Date: Thu, 08 Jun 2023 23:48:15 +0200

Ludovic Courtès <[email-masked]> skribis:

> In an effort to homogenize things, commit
> 3c40dfe2851dd4ef48d2711f9f3531c06afbe1f2 replaced:
>
>   @deffn {Scheme Procedure}
>
> with:
>
>   @defun
>
> However, the latter prints "Function" when all existing material about
> Scheme uses the term "procedure".
>
> Thus, for consistency, this commit switches to:
>
>   @deffn {Procedure}
>
> * doc/guix.texi, doc/contributing.texi: Use "@deffn {Procedure}"
> consistently rather than "@defun" or similar.

Pushed as aceb150d29832e824446b29fab821acda50531ff.

As discussed on IRC, Texinfo macros are too limited: we can’t have a
‘@defproc’ macro.  So be it…

Ludo’.