Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: PATCH: docs
- X-seq: zsh-workers 9265
 
- From: Zefram <zefram@xxxxxxxx>
 
- To: Sven Wischnowsky <wischnow@xxxxxxxxxxxxxxxxxxxxxxx>
 
- Subject: Re: PATCH: docs
 
- Date: Fri, 7 Jan 2000 19:22:27 +0000 (GMT)
 
- Cc: zsh-workers@xxxxxxxxxxxxxx
 
- In-reply-to: <200001071449.PAA23487@xxxxxxxxxxxxxxxxxxxxxxxxxxxx> from Sven Wischnowsky at "Jan 7, 2000 03:49:02 pm"
 
- Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
 
Sven Wischnowsky wrote:
>And is there a reason why `make clean' doesn't remove the manual files 
>and the automatically created files in Doc/Zsh? If so, the last hunk
>for Makefile.in shouldn't be applied.
Yes.  They're included in the distribution, and so shouldn't be removed
by `make clean' or `make distclean'; they should be removed by `make
realclean'.
-zefram
Messages sorted by:
Reverse Date,
Date,
Thread,
Author