John Darrington <[email protected]> writes: > $ texi2dvi --version > texi2dvi (GNU Texinfo 4.13) 1.135 > > I do see whitespace where the comma ought to be. Maybe this is > a problem with my TeX installation. I don't know.
I think it must be a local problem. I see the comma, with the same texi2dvi version (Debian "squeeze").
