Subject: [bug#39418] [PATCH] doc: Improve documentation on Substitute Server Authorization

From: Leo Famulari <[email-masked]>
Date: Tue, 4 Feb 2020 19:42:42 -0500

On Tue, Feb 04, 2020 at 03:18:03PM +0100, Damien Cassou wrote:
> * doc/guix.texi (Substitute Server Authorization): Explain that this is the
> absence of the .drv file extension that indicates a proper setup.

> -This indicates that substitutes from @code{@value{SUBSTITUTE-SERVER}} are usable and
> -will be downloaded, when possible, for future builds.
> +The absence of the @file{.drv} file extension indicates that substitutes
> +from @code{@value{SUBSTITUTE-SERVER}} are usable and will be downloaded,
> +when possible, for future builds.

The text "would be downloaded" is what indicates that substitutes are
working.

It's in contrast to the text from the previous example "The following
derivations would be built".