From: Chris Hanson <org/chris-hanson/cph>
Date: Fri, 26 Oct 2018 03:15:52 +0000 (-0700)
Subject: Add plugin docs to doc files.
X-Git-Tag: mit-scheme-pucked-10.1.2~16^2~138^2~6
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=bcb1744960d228f1f9e01b9da46fb5672f2c4b5a;p=mit-scheme.git

Add plugin docs to doc files.
---

diff --git a/dist/make-doc-files b/dist/make-doc-files
index 9b3facf22..3eaabb8ef 100755
--- a/dist/make-doc-files
+++ b/dist/make-doc-files
@@ -27,11 +27,12 @@
 make_output_dir
 
 BUILD_DIR=doc-build
+PLUGINS_WITH_DOC=(blowfish gdbm imail)
 
 build_docs ()
 {
    my_configure
-   my_make
+   my_make "${@}"
 }
 
 make_archive_dir ()
@@ -43,12 +44,20 @@ make_archive_dir ()
 notify "Building documentation"
 unpack_dist_file_to "${DIST_DIR}" "${BUILD_DIR}"
 run_command "${DOC_OUT}"-build "${BUILD_DIR}"/doc build_docs
+for PLUGIN in "${PLUGINS_WITH_DOC[@]}"; do
+    run_command "${DOC_OUT}"-build-"${PLUGIN}" "${BUILD_DIR}"/src/"${PLUGIN}" \
+	build_docs info html pdf
+done
 
 new_temp_dir "${DIST_DIR}"
 for FORMAT in html info pdf; do
     OUT=${DOC_OUT}-${FORMAT}
     notify "Making archive for ${FORMAT}"
     run_command "${OUT}" "${BUILD_DIR}"/doc make_archive_dir "${FORMAT}"
+    for PLUGIN in "${PLUGINS_WITH_DOC[@]}"; do
+        run_command "${OUT}"-"${PLUGIN}" "${BUILD_DIR}"/src/"${PLUGIN}" \
+	    make_archive_dir "${FORMAT}"
+    done
     make_tar_file "${OUT}" "${DIST_DIR}"-doc-"${FORMAT}" "${DIST_DIR}"/doc
     my_rm_rf "${DIST_DIR}"
 done