+
+.PHONY: install-dvi install-html install-pdf install-ps install-doc
+
+install-dvi: dvi
+ umask 022; $(MKDIR_P) "$(DESTDIR)$(dvidir)"
+ $(INSTALL_DATA) $(DVI_TARGETS) "$(DESTDIR)$(dvidir)"
+install-html: html
+ umask 022; $(MKDIR_P) "$(DESTDIR)$(htmldir)"
+ $(INSTALL_DATA) $(HTML_TARGETS) "$(DESTDIR)$(htmldir)"
+install-pdf: pdf
+ umask 022;$(MKDIR_P) "$(DESTDIR)$(pdfdir)"
+ $(INSTALL_DATA) $(PDF_TARGETS) "$(DESTDIR)$(pdfdir)"
+install-ps: ps
+ umask 022; $(MKDIR_P) "$(DESTDIR)$(psdir)"
+ for file in $(PS_TARGETS); do \
+ $(INSTALL_DATA) $${file} "$(DESTDIR)$(psdir)"; \
+ [ -n "${GZIP_PROG}" ] || continue; \
+ rm -f "$(DESTDIR)$(psdir)/$${file}.gz"; \
+ ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \
+ done
+
+## Top-level Makefile installs the info pages.
+install-doc: install-dvi install-html install-pdf install-ps
+
+
+.PHONY: uninstall-dvi uninstall-html uninstall-pdf uninstall-ps uninstall-doc
+
+uninstall-dvi:
+ for file in $(DVI_TARGETS); do \
+ rm -f "$(DESTDIR)$(dvidir)/$${file}"; \
+ done
+uninstall-html:
+ for file in $(HTML_TARGETS); do \
+ rm -f "$(DESTDIR)$(htmldir)/$${file}"; \
+ done
+uninstall-ps:
+ ext= ; [ -n "${GZIP_PROG}" ] && ext=.gz; \
+ for file in $(PS_TARGETS); do \
+ rm -f "$(DESTDIR)$(psdir)/$${file}$${ext}"; \
+ done
+uninstall-pdf:
+ for file in $(PDF_TARGETS); do \
+ rm -f "$(DESTDIR)$(pdfdir)/$${file}"; \
+ done
+
+uninstall-doc: uninstall-dvi uninstall-html uninstall-pdf uninstall-ps
+
+