diff options
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
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 ========== |