> 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.)
