Include no-split HTML files in documentation.

diff --git a/doc/index.html b/doc/index.html
index 0351ec5b51dd024a092e2d9c8469e22ba7901666..6e6bd5b0a136b4a429ecbc5b7796d4b0da200330 100644 (file)
--- a/doc/index.html
+++ b/doc/index.html
@@ -10,12 +10,20 @@
 
 The following MIT/GNU Scheme manuals are available.
 
-<ul>
-<li><a href="mit-scheme-user/index.html">User's Manual</a></li>
-<li><a href="mit-scheme-ref/index.html">Reference Manual</a></li>
-<li><a href="mit-scheme-sos/index.html">Scheme Object System</a></li>
-<li><a href="mit-scheme-ffi/index.html">Foreign Function Interface</a></li>
-</ul>
+<dl>
+  <dt>User's Manual</dt>
+  <dd><a href="mit-scheme-user/index.html">One page per node</a></dd>
+  <dd><a href="mit-scheme-user.html">Entirely on one page</a></dd>
+  <dt>Reference Manual</dt>
+  <dd><a href="mit-scheme-ref/index.html">One page per node</a></dd>
+  <dd><a href="mit-scheme-ref.html">Entirely on one page</a></dd>
+  <dt>Scheme Object System</dt>
+  <dd><a href="mit-scheme-sos/index.html">One page per node</a></dd>
+  <dd><a href="mit-scheme-sos.html">Entirely on one page</a></dd>
+  <dt>Foreign Function Interface</dt>
+  <dd><a href="mit-scheme-ffi/index.html">One page per node</a></dd>
+  <dd><a href="mit-scheme-ffi.html">Entirely on one page</a></dd>
+</dl>
 
 The following plugin manuals are also available.
 

diff --git a/doc/make-common.in b/doc/make-common.in
index 397cf27980d74afab4773f7ac8d8bc1ef5066f37..2720c1a222f59e0b4a0f2a53801f2c1a48342567 100644 (file)
--- a/doc/make-common.in
+++ b/doc/make-common.in
@@ -153,10 +153,11 @@ install-info: $(INFO_TARGET)
 install-info-gz: install-info
        gzip -v $(DESTDIR)$(infodir)/$(INFO_TARGET)*
 
-install-html: $(HTML_TARGET)/index.html
+install-html: $(HTML_TARGET)/index.html $(HTML_NOSPLIT_TARGET)
        -rm -rf $(DESTDIR)$(htmldir)/$(HTML_TARGET)
        $(mkinstalldirs) $(DESTDIR)$(htmldir)/$(HTML_TARGET)
        $(INSTALL_DATA) $(HTML_TARGET)/* $(DESTDIR)$(htmldir)/$(HTML_TARGET)/.
+       $(INSTALL_DATA) $(HTML_NOSPLIT_TARGET) $(DESTDIR)$(htmldir)/.
 
 install-pdf: $(PDF_TARGET)
        $(INSTALL_DATA) $(PDF_TARGET) $(DESTDIR)$(pdfdir)/.