From adb075a0d398a364e79c4998a6509a5046dc2907 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Thu, 15 Dec 2022 02:14:56 -0800
Subject: [PATCH] Use bootstrap script to set up doc tree.

---
 dist/make-src-files | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/make-src-files b/dist/make-src-files
index e98b05fad..5f30edd95 100755
--- a/dist/make-src-files
+++ b/dist/make-src-files
@@ -69,7 +69,7 @@ cleanup_file "${DIST_DIR}"
 
 notify "Configuring the source tree"
 run_command "${SRC_OUT}"-config "${DIST_DIR}"/src ./Setup.sh
-run_command_append "${SRC_OUT}"-config "${DIST_DIR}"/doc autoconf
+run_command_append "${SRC_OUT}"-config "${DIST_DIR}"/doc ./bootstrap
 
 notify "Creating archive file"
 make_tar_file "${SRC_OUT}" "${DIST_DIR}"
-- 
2.47.3