From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Fri, 11 Mar 2016 04:28:15 +0000 (-0700)
Subject: doc/Makefile.in: Punt doc-config.scm.  It is no longer used.
X-Git-Tag: mit-scheme-pucked-9.2.12~261^2~75^2
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=30c5e4eaef4ccf7e34390c0583ac0ae8f552c156;p=mit-scheme.git

doc/Makefile.in: Punt doc-config.scm.  It is no longer used.
---

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 66321c817..464acc81f 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -66,7 +66,7 @@ psdir = @psdir@
 INST_TARGETS = @INST_TARGETS@
 
 SUBDIRS = ffi imail ref-manual sos user-manual
-DISTCLEAN_FILES = Makefile make-common config.log config.status doc-config.scm
+DISTCLEAN_FILES = Makefile make-common config.log config.status
 
 all:
 	@for D in $(SUBDIRS); do \
@@ -103,19 +103,7 @@ maintainer-clean:
 
 tags TAGS:
 
-install: install-config install-info-gz install-man $(INST_TARGETS)
-
-install-config: doc-config.scm
-	$(mkinstalldirs) $(DESTDIR)$(infodir)
-	$(INSTALL_DATA) $< $(DESTDIR)$(infodir)/mit-scheme-doc-config.scm
-
-doc-config.scm:
-	@echo "Saving documentation configuration."
-	@ ( echo "(QUOTE"; \
-	    echo " ((INSTALL \"$(INSTALL_DATA)\")"; \
-	    echo "  (HTMLDIR \"${htmldir}\")"; \
-	    echo "  (PDFDIR \"${pdfdir}\")"; \
-	    echo "  (PSDIR \"${psdir}\")))" ) >doc-config.scm
+install: install-info-gz install-man $(INST_TARGETS)
 
 install-info-gz install-info:
 	$(mkinstalldirs) $(DESTDIR)$(infodir)