Re: [PATCH] release: don't run "make distcheck" automatically

[Stefano Lattarini]

Hmm... by re-reading the ChangeLog entry, I've concluded that
it sucks and is totally confusing.  What about this instead?

        hacking: some more fixlets

        * HACKING (Release Procedure): Place the list of commands used to
        bootstrap and test the package before release on a line of its
        own, to make it easy to copy this whole line with a triple-click,
        so that it can easily be pasted into a terminal window.
        Fix the explanation of "make git-release", as, since the previous
        change, "make git-release" would simply run "make dist" rather
        than "make distcheck".

        Suggestion from Jim Meyering.

Sorry for the noise,
  Stefano