* doc/misc/texinfo.tex, lib/getopt.c, lib/intprops.h: Merge from gnulib.