diff options
| author | Peter Stephenson <pws@users.sourceforge.net> | 2009-05-25 16:09:40 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@users.sourceforge.net> | 2009-05-25 16:09:40 +0000 |
| commit | ef9844b34cda97892b5342258f34c58a64ad3c2f (patch) | |
| tree | 0abac59917a05b1687ec7f989954846ab2faa418 | |
| parent | 96a38a74f08749b2bbf960e3f0e51e2bbdbc15a9 (diff) | |
| download | zsh-ef9844b34cda97892b5342258f34c58a64ad3c2f.tar.gz zsh-ef9844b34cda97892b5342258f34c58a64ad3c2f.zip | |
Ingmar Vanhassel: 26990: tidy up more HTML files
| -rw-r--r-- | ChangeLog | 7 | ||||
| -rw-r--r-- | Doc/Makefile.in | 4 |
2 files changed, 8 insertions, 3 deletions
@@ -1,3 +1,8 @@ +2009-05-25 Peter Stephenson <p.w.stephenson@ntlworld.com> + + * Ingmar Vanhassel: 26990: Doc/Makefile.in: tidy up all html + files created by updated naming scheme. + 2009-05-23 Peter Stephenson <p.w.stephenson@ntlworld.com> * Michael Hwang: 26986: Doc/Zsh/compsys.yo: formatting. @@ -11765,5 +11770,5 @@ ***************************************************** * This is used by the shell to define $ZSH_PATCHLEVEL -* $Revision: 1.4698 $ +* $Revision: 1.4699 $ ***************************************************** diff --git a/Doc/Makefile.in b/Doc/Makefile.in index c859c87c5..0b8cab5eb 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -332,14 +332,14 @@ uninstall.info: # install HTML manual install.html: html ${SHELL} $(sdir_top)/mkinstalldirs $(DESTDIR)$(htmldir) - for file in zsh*.html; do \ + for file in *.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)/*.html .PHONY: uninstall.html # ========== DEPENDENCIES FOR CLEANUP ========== |