Update to version 2008-04-18.10 (Texinfo 4.12).
authorkaoru <kaoru>
Tue, 22 Apr 2008 03:22:56 +0000 (03:22 +0000)
committerkaoru <kaoru>
Tue, 22 Apr 2008 03:22:56 +0000 (03:22 +0000)
commit69c0334503e0a40716788394faf6e1f10fad9230
tree9ad364cb30ecf8844981d8742154e0320b791b95
parent1b0fe716f2cf480ca0c3c6443a2e9103f7b3b112
Update to version 2008-04-18.10 (Texinfo 4.12).
doc/texinfo.tex