# Install documentation.  Unix manpages should go in the $(mandir)
# directory.
#========================================================================

install-doc-html: make-docs-html
	@$(INSTALL_DATA_DIR) "$(DESTDIR)$(pkglibdir)/html"
	@echo "Installing HTML documentation in $(DESTDIR)$(pkglibdir)/html"
	@list='$(srcdir)/doc/*.html'; for i in $$list; do \
	    if test -f $$i ; then \
		echo "Installing $$i"; \
		$(INSTALL_DATA) $$i "$(DESTDIR)$(pkglibdir)/html"; \
	    fi; \
	done

install-doc-n: make-docs-n
	@$(INSTALL_DATA_DIR) "$(DESTDIR)$(mandir)/mann"
	@echo "Installing nroff documentation in $(DESTDIR)$(mandir)/mann"
	@list='$(srcdir)/doc/*.n'; for i in $$list; do \
	    if test -f $$i ; then \
		if test -f "$(DESTDIR)$(mandir)/mann/Tcl.n.gz" -o \
		    "$(DESTDIR)$(mandir)/mann/Tcl*.n.gz" ; then \
		    gzip -k $$i ; \
		    echo "Installing $$i.gz"; \
		    $(INSTALL_DATA) $$i.gz "$(DESTDIR)$(mandir)/mann" ; \
		    rm -f $$i.gz;\