* doc/make-stds.texi: Update from gnulib.