diff man/texinfo.texi @ 4310:a6d7e031a10b

Fix two Tailor glitches. For some reason, Tailor didn't copy these changes from CVS to Mercurial. Do so manually, really synching us with the latest from CVS.
author Mike Sperber <sperber@deinprogramm.de>
date Thu, 06 Dec 2007 20:10:16 +0100
parents 37e56e920ac5
children 1094d6d400fb
line wrap: on
line diff