Re: [groff] 03/03: INSTALL.REPO: Add more snapshot archive material.

[Dave Kemper]

> diff --git a/INSTALL.REPO b/INSTALL.REPO
...
> +Place the foregoing in a file called "../git-version-gen.patch", apply
> +it, then run the bootstrap script.
> +
> +  $ patch -d gnulib-$hash -p0 < ../git-version-gen.patch
>    $ ./bootstrap --gnulib-srcdir=gnulib-$hash

Hmm, is this the best way to do this?  Since the bootstrap script is
explicitly passed "gnulib-$hash", surely it could apply the patch
itself, without the user needing to perform these extra steps?

(I realize whether this patch is ultimately retained depends on the
resolution of the ongoing "git-version-gen not working with
Savannah/cgit snapshots" thread.)