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

RE: PATCH: Not quite Re: info is rebuilt every time

X-seq: zsh-workers 10501
From: "Andrej Borsenkow" <Andrej.Borsenkow@xxxxxxxxxxxxxx>
To: "Bart Schaefer" <schaefer@xxxxxxxxxxxxxxxxxxxxxxx>, "ZSH workers mailing list" <zsh-workers@xxxxxxxxxxxxxx>
Subject: RE: PATCH: Not quite Re: info is rebuilt every time
Date: Wed, 5 Apr 2000 12:42:18 +0400
Importance: Normal
In-reply-to: <1000405083226.ZM14407@xxxxxxxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm

>
> That's a little odd ... zsh.info is *never* rebuilt for me, unless I
> explicitly "make install.info" or "(cd Doc; make zsh.info)".
>
>
> In the interest of trying to fix your bug (the patch below is
> for mine),
> let me ask: Do you have yodl?  If so, is zsh.texi getting
> rebuilt, too,
> or is it just that makeinfo always runs?
>


Sorry, I meant zsh.texi of course, not info files.

Well, "every time" is probably not quite correct. I did run gmake now
and nothing happened. I'll try to script next time after CVS update to
see what happens.

-andrej

References:
- PATCH: Not quite Re: info is rebuilt every time
  - From: Bart Schaefer

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