Bug#457741: again direntry problems

2008-02-21 Thread Norbert Preining
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 noticed that

Bug#457741: again direntry problems

2008-02-07 Thread Hilmar Preusse
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 below to work around

Bug#457741: again direntry problems

2008-01-31 Thread Frank Küster
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 buggy input. Hope

Bug#457741: again direntry problems

2008-01-30 Thread Hilmar Preusse
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. Should

Bug#457741: again direntry problems

2008-01-23 Thread Karl Berry
@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

Bug#457741: again direntry problems

2008-01-14 Thread Norbert Preining
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

Bug#457741: again direntry problems

2008-01-14 Thread Karl Berry
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

Bug#457741: again direntry problems

2008-01-14 Thread Norbert Preining
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 for