Could you re-post this as a patch produced by "git format-patch"?
Not without formatting it that way by hand; actually using git is
incomprehensible to my brain, sorry, and I don't want to take the time
to do it manually for two sentences. If it's not worth it to you
either, just ignore the
Hi Karl, thanks for the patch. I have some nits however
On 01/03/2013 07:45 PM, Karl Berry wrote:
> Pursuant to http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13324 ...
>
> I suggest something like the following small change to the manual,
> mentioning dist-hook instead of just unconditionally say
Pursuant to http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13324 ...
I suggest something like the following small change to the manual,
mentioning dist-hook instead of just unconditionally saying "don't use
directories in EXTRA_DIST". Even though dist-hook is described the next
section, I for one r
