Re: Mutilated stdlib.h

[Karl Berry]

    Remember to always do a "make distclean" before running gnulib-tool or
    autoreconf. Otherwise such things can happen.

1. I see nothing about this in the gnulib manual.  Can the cases when
"make distclean" is necessary be defined/narrowed at all?  

2. It is disheartening to read this.  The autotools go to a lot of
trouble to make it possible to rerun make and rebuild the 
infrastructure without resorting to the big hammer of make *clean.
This is very useful.  So gnulib breaks that now?

Thanks,
k