On Sun, 2009-09-13 at 23:46 -0400, Alvaro Herrera wrote:> Should create_help.pl be run on "make dist"?
It is.