|
| From: | Karl Berry |
| Subject: | Re: kbdinputstyle ignored by makeinfo |
| Date: | Mon, 10 Apr 2006 13:42:22 -0500 |
@kbdinputstyle shouldn't be ignored in html (because it makes sense) and
in xml (to avoid information loss).
Right. Thanks. (If anyone feels like writing the patch, that'd be
great :)
| [Prev in Thread] | Current Thread | [Next in Thread] |