diff options
| -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 ========== |