Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

RE: PATCH: "User Contributions" manual, & misc.

X-seq: zsh-workers 12759
From: "Andrej Borsenkow" <Andrej.Borsenkow@xxxxxxxxxxxxxx>
To: "Sven Wischnowsky" <wischnow@xxxxxxxxxxxxxxxxxxxxxxx>, <zsh-workers@xxxxxxxxxxxxxx>
Subject: RE: PATCH: "User Contributions" manual, & misc.
Date: Wed, 6 Sep 2000 17:28:08 +0400
Importance: Normal
In-reply-to: <200009061315.PAA01023@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm

>
> - My super-brand-new yodl 1.31 turns the ``interesting'' into
>   "interesting'' in the info file. Looks kinda weird (and is used in
>   other places, too).
>

It is not yodl, it is makeinfo

bor@itsrm2% grep '``interesting' *
zsh.texi:to the next ``interesting@value{dsq} character position (usually the
end of the
zshcontrib.1:to the next ``interesting'' character position (usually the end
of the
bor@itsrm2% grep '"interesting' *
bor@itsrm2% yodl --version
1.31.18
bor@itsrm2% grep '``interesting' /tools/info/zsh*
bor@itsrm2% grep '"interesting' /tools/info/zsh*
/tools/info/zsh.info-17:     advance the cursor to the next "interesting''
character position
bor@itsrm2% makeinfo --version
makeinfo (GNU texinfo) 4.0

Hmm should we do a bug report?

-andrej

References:
- Re: PATCH: "User Contributions" manual, & misc.
  - From: Sven Wischnowsky

Messages sorted by: Reverse Date, Date, Thread, Author