about summary refs log tree commit diff
path: root/Doc
diff options
context:
space:
mode:
Diffstat (limited to 'Doc')
-rw-r--r--Doc/Makefile.in11
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: