From fee2b1ab94879db991acb8468f1c157d174e29e9 Mon Sep 17 00:00:00 2001
From: Tanaka Akira <akr@users.sourceforge.net>
Date: Thu, 9 Dec 1999 10:48:11 +0000
Subject: zsh-workers/8966

---
 Doc/Makefile.in | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'Doc/Makefile.in')

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:
-- 
cgit 1.4.1