From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3951 invoked from network); 28 Jun 2001 13:17:02 -0000 Received: from sunsite.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 28 Jun 2001 13:17:02 -0000 Received: (qmail 25510 invoked by alias); 28 Jun 2001 13:15:12 -0000 Mailing-List: contact zsh-workers-help@sunsite.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 15160 Received: (qmail 25427 invoked from network); 28 Jun 2001 13:15:10 -0000 Message-ID: To: zsh-workers@sunsite.dk (Zsh hackers list) Subject: Re: zsh 4.0.2 released In-reply-to: ""Zvi Har'El""'s message of "Thu, 28 Jun 2001 16:02:10 +0300." Date: Thu, 28 Jun 2001 14:15:27 +0100 From: Peter Stephenson "Zvi Har'El" wrote: > I didn't notice this before, but the `make install.html'' does not > install the zsh.html file. You must have a different version of texi2html, since mine doesn't generate that, but the following should be a safe fix in any case. Index: Doc/Makefile.in =================================================================== RCS file: /cvsroot/zsh/zsh/Doc/Makefile.in,v retrieving revision 1.9 diff -u -r1.9 Makefile.in --- Doc/Makefile.in 2001/05/31 11:58:40 1.9 +++ Doc/Makefile.in 2001/06/28 13:15:00 @@ -297,14 +297,14 @@ # install HTML manual install.html: html ${SHELL} $(sdir_top)/mkinstalldirs $(DESTDIR)$(htmldir) - for file in zsh_*.html; do \ + for file in zsh*.html; do \ $(INSTALL_DATA) $$file $(DESTDIR)$(htmldir) || exit 1; \ done .PHONY: install.html # uninstall HTML manual uninstall.html: - rm -f $(DESTDIR)$(htmldir)/zsh_*.html + rm -f $(DESTDIR)$(htmldir)/zsh*.html .PHONY: uninstall.html # ========== DEPENDENCIES FOR CLEANUP ========== -- Peter Stephenson Software Engineer CSR Ltd., Unit 300, Science Park, Milton Road, Cambridge, CB4 0XL, UK Tel: +44 (0)1223 392070 ********************************************************************** The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. Any review, retransmission, dissemination or other use of, or taking of any action in reliance upon, this information by persons or entities other than the intended recipient is prohibited. If you received this in error, please contact the sender and delete the material from any computer. **********************************************************************