texinfo.tex update
authorKarl Berry <karl@gnu.org>
Thu, 3 May 2007 16:30:24 +0000 (16:30 +0000)
committerKarl Berry <karl@gnu.org>
Thu, 3 May 2007 16:30:24 +0000 (16:30 +0000)
commit0d2d1e561977def6578a0f9bbe1dffd9fffa86e5
tree49d08308753b254ca6d77508bc3a7986d6a632b4
parent5fd85226234841b3d9bfc6588031d15c1b1b7121
texinfo.tex update
man/ChangeLog
man/texinfo.tex