gendocs.sh: Update from gnulib.