diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 4843729e5..e252bb28a 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -214,6 +214,17 @@ uninstall.info: rm -f $(DESTDIR)$(infodir)/$(tzsh).info rm -f $(DESTDIR)$(infodir)/$(tzsh).info-[1-9]* +# install HTML manual +install.html: zsh_toc.html + $(sdir_top)/mkinstalldirs $(DESTDIR)$(htmldir) + for file in zsh_*.html; do \ + $(INSTALL_DATA) $$file $(DESTDIR)$(htmldir) || exit 1; \ + done + +# uninstall HTML manual +uninstall.html: + rm -f $(DESTDIR)$(htmldir)/zsh_*.html + # ========== DEPENDENCIES FOR CLEANUP ========== clean-here: |