On Do, 07 Feb 2008, Hilmar Preusse wrote:
> > >> @direntry
> > >> * ZSH: (zsh). The Z Shell Manual.
> > >> @end direntry
> I did not really follow it. I just noticed that anybody proposed a
> patch and believed that it would solve the problem. Short time ago I
On 31.01.08 Frank Küster ([EMAIL PROTECTED]) wrote:
> Hilmar Preusse <[EMAIL PROTECTED]> wrote:
> > On 23.01.08 Karl Berry ([EMAIL PROTECTED]) wrote:
Hi,
> >> @direntry
> >> * ZSH: (zsh). The Z Shell Manual.
> >> @end direntry
> >>
> >> I made the change belo
Hilmar Preusse <[EMAIL PROTECTED]> wrote:
> tags 457741 + fixed-upstream
> stop
>
> On 23.01.08 Karl Berry ([EMAIL PROTECTED]) wrote:
>
> Hi,
>
>> @direntry
>> * ZSH: (zsh). The Z Shell Manual.
>> @end direntry
>>
>> I made the change below to work around this
tags 457741 + fixed-upstream
stop
On 23.01.08 Karl Berry ([EMAIL PROTECTED]) wrote:
Hi,
> @direntry
> * ZSH: (zsh). The Z Shell Manual.
> @end direntry
>
> I made the change below to work around this buggy input. Hope it
> doesn't cause undue distress.
>
Sh
@direntry
* ZSH: (zsh). The Z Shell Manual.
@end direntry
I made the change below to work around this buggy input. Hope it
doesn't cause undue distress. Meanwhile, how about patching the zsh
manual, or at least reporting the problem to them, if zsh is still
m
On Mo, 14 Jan 2008, Karl Berry wrote:
> Do you have a good suggestion how to fix that?
>
> Just have to forcibly remove leading whitespace from `line', I guess.
> I'll look into it.
Thanks.
> I hope you are aware that Ben Asselstine has implemented everything that
> we know of that's needed
Do you have a good suggestion how to fix that?
Just have to forcibly remove leading whitespace from `line', I guess.
I'll look into it.
At least Debian i-i which will still be around
for some time, but we are working hard on it!)
I hope you are aware that Ben Asselstine has implement
Hi Karl,
you remember that I submitted the following patch:
+++ texinfo-4.11/makeinfo/cmds.c 2007-12-19 16:19:24.0 +0100
@@ -1637,10 +1637,14 @@
if (!no_headers && !html)
{
+ /* use add_* instead of insert_* because otherwise the
+ file header ("This
8 matches
Mail list logo
