Re: --no-ignore-files option for gnulib-tool?

[Karl Berry]

    I'd like this too, 

Glad to hear it :).  Any comments from others?  (May not affect anyone
else.)  I expect Bruno will give us the go/no-go when he has time ...
    
    Bonus points if there is a gnulib-cache.m4 variable to cache the

Sorry, four lines of sh was all I can do :).  Messing with gnulib-cache
is beyond me for the foreseeable future ...

Best,
karl