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

RE: PATCH: zsh-3.1.5-pws-5: creating info dir entry with install.info

X-seq: zsh-workers 5033
From: "Andrej Borsenkow" <borsenkow.msk@xxxxxx>
To: "Bart Schaefer" <schaefer@xxxxxxxxxxxxxxxx>
Subject: RE: PATCH: zsh-3.1.5-pws-5: creating info dir entry with install.info
Date: Tue, 26 Jan 1999 21:50:10 +0300
Cc: "ZSH workers mailing list" <zsh-workers@xxxxxxxxxxxxxx>
Importance: Normal
In-reply-to: <990126103248.ZM24394@xxxxxxxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm

>
> Thanks.  BTW, it would be more "standard" for there to be a
> separate target
> in the Makefile, "make install-info", which has to be done separately from
> "make install".
>


It is not my choice. I am all for it, but it was not me who wrote Makefile.
So I Cc it to zsh-workers for general discussion.

/andrej

Follow-Ups:
- PATCH: zsh-3.1.5-pws-5: install.info
  - From: Peter Stephenson

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