Commit 5eeec029e833abe9ba663d51bb556bd1eebb814e

Bruno Haible 2006-10-13T12:40:22

gnulib-tool now synthesizes the EXTRA_DIST line.