Sync from gnulib.
commit7f818df9420a1320539f7e3e633003573a570413
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 17 Jan 2011 02:35:15 +0000 (16 18:35 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 17 Jan 2011 02:35:15 +0000 (16 18:35 -0800)
tree86e05704abf03f63cd2fc2c8ccb0f438897f0605
parentc35917bae472ab11b5ab6f6771ddd6f22743af2c
Sync from gnulib.
doc/misc/texinfo.tex