From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Tue, 12 Jun 2018 23:41:09 +0000 (-0700)
Subject: Add html to all (else it is built during install!).
X-Git-Tag: mit-scheme-pucked-9.2.15~13
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=f8407b2f84107d8c5a47ce057f1615ea2afa636f;p=mit-scheme.git

Add html to all (else it is built during install!).
---

diff --git a/doc/make-common.in b/doc/make-common.in
index 05a384c8f..319de107c 100644
--- a/doc/make-common.in
+++ b/doc/make-common.in
@@ -75,7 +75,7 @@ PS_TARGET = $(TARGET_ROOT).ps
 
 TEX_OPTIONS = --quiet $(EXTRA_TEX_OPTIONS)
 
-all: $(INFO_TARGET) $(TARGETS)
+all: $(INFO_TARGET) $(HTML_TARGET)/index.html $(TARGETS)
 
 $(INFO_TARGET): $(SOURCES)
 	rm -f $(INFO_TARGET)*