bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: again direntry problems


From: Karl Berry
Subject: Re: again direntry problems
Date: Wed, 23 Jan 2008 13:29:38 -0600

    @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;




reply via email to

[Prev in Thread] Current Thread [Next in Thread]