Re: again direntry problems

[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
maintained?

Thanks,
karl

--- insertion.c.~1.66.~ 2007-12-19 15:39:05.000000000 -0800
+++ insertion.c 2008-01-23 11:27:12.000000000 -0800
@@ -491,2 +491,7 @@ begin_insertion (enum insertion_type typ
       add_word ("START-INFO-DIR-ENTRY\n");
+      
+      /* The zsh manual, maybe others, wrongly indents the * line of the
+         direntry in the source.  Ignore that whitespace.  */
+      skip_whitespace_and_newlines ();
+      no_discard++;
       break;