|
| From: | Arni Magnusson |
| Subject: | Typo in Texinfo manual |
| Date: | Wed, 18 Mar 2009 11:30:00 +0000 (GMT) |
There's a small typo in the Texinfo manual, where texinfo.txi says:
@code{@@deffn} and prints
It should probably say:
@code{@@deffn} prints
Cheers,
Arni
| [Prev in Thread] | Current Thread | [Next in Thread] |