|
From: | Karl Berry |
Subject: | Re: [makeinfo] macros in menu description causes no HTML head |
Date: | Sun, 6 Jun 2004 10:06:02 -0400 |
- if ((executing_macro || !executing_string) + if ((executing_macro || !executing_string) && !only_macro_expansion I installed this fix. Thanks very much.
[Prev in Thread] | Current Thread | [Next in Thread] |