Subject: Re: [bug#53964] [PATCH 2/4] gnu: gcc: Add 2.95.

From: Maxime Devos <[email-masked]>
Date: Sat, 12 Feb 2022 23:43:30 +0100

Ludovic Courtès schreef op za 12-02-2022 om 22:45 [+0100]:
> +    (native-inputs (list texinfo))
> [...]
> +                   ;; Go ahead despite the many warnings.
> +                   (substitute* '("Makefile.in" "gcc/Makefile.in")
> +                     (("^MAKEINFOFLAGS =.*")
> +                      "MAKEINFOFLAGS = --force\n")))))))

FWIW, since [email-masked] is an ancient version of gcc only used for
bootstrapping, personally I would not bother with building the
documentation.

OTOH, there have been quite some changes in gcc, and the documentation
isn't getting in the way of anyone not interested in it ...

Greetings,
Maxime.