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

["Ludovic Courtès" <ludo@gnu.org>]

Ludovic Courtès <ludo@gnu.org> 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’.