Well, Debian packages snapshots of it. It's useful,
No, it is insanely wrong, defeating the purpose of gnulib and causing
impossible-to-track bugs due to out-of-sync sources. But let's not go
into that again, you can find the discussions in the archives if you care.
because gnulib-tool is on PATH. That's all I want really, I want
gnulib-tool to be on my PATH and I was asking what I have to do to
make that work.
ln -s /gnulib/checkout/gnulib-tool ~/bin # adapted as needed, of course
That's it.
I agree that we should put this bit of info into the top-level
README and/or the manual or wherever.
Best,
Karl