Minor merge from gnulib (mostly just for texinfo.tex).
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 26 Aug 2013 22:17:31 +0000 (15:17 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 26 Aug 2013 22:17:31 +0000 (15:17 -0700)
commit12c4970d70ae32fdcc81af55e1b2ff74afe96c93
tree9992501d84c990d4c6d53dcaf176e0cea23315df
parentf462f0750f4cd3537ab1da5cf8ed64e08e55ea46
Minor merge from gnulib (mostly just for texinfo.tex).
ChangeLog
doc/misc/texinfo.tex
m4/sha256.m4
m4/sha512.m4