Karl, do you have a cron job for grabbing upstream changes from Autoconf
to gnulib's doc/INSTALL? Yes, there is supposed to be. I think it wasn't showing up because once again the source project changed to git and I didn't know. I'll fix that, meanwhile, feel free to push the new INSTALL. Gotta run, back Sunday ... Thanks, k
