Hi David,
look like you forgot to attach the patch?
Thanks!
- Carsten
On Jul 18, 2010, at 9:45 AM, David Maus wrote:
Great! Could you please submit a patch which fixes this in the
manual
and also replaces
texinfo.tex?
Here we go. Added texinfo options to org.texi and orgguide.texi +
up
> Great! Could you please submit a patch which fixes this in the manual
> and also replaces
> texinfo.tex?
Here we go. Added texinfo options to org.texi and orgguide.texi +
update texinfo.tex to 4.13, shipped on Debian testing.
HTH,
-- David
David Maus (1):
Use proper quote and backtick
