|
| From: | Werner LEMBERG |
| Subject: | Re: problem with --enable-encoding |
| Date: | Sun, 11 Jul 2004 20:09:57 +0200 (CEST) |
> Probably makeinfo should give a warning if it sees any commands
> there, I'm not sure.
Good idea. All tokens starting with `@' should cause a warning.
Werner
| [Prev in Thread] | Current Thread | [Next in Thread] |