cleanup

justinmk · justinmk · commit 60dfb7a573af · 2025-11-25T00:44:27.000-05:00
diff --git a/ci/doc-index.sh b/ci/doc-index.sh
@@ -8,7 +8,7 @@ readonly BUILD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 source "${BUILD_DIR}/ci/common/common.sh"
 
 generate_doc_index() {
-  echo "Updating doc folder from file-list.txt"
+  echo "Updating doc/ from file-list.txt"
   wget -i "${BUILD_DIR}/ci/file-list.txt" --force-directories -nH --cut-dirs=1 -P "${DOC_DIR}"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ readonly BUILD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"`
`8`	`8`	`source "${BUILD_DIR}/ci/common/common.sh"`
`9`	`9`
`10`	`10`	`generate_doc_index() {`
`11`		`- echo "Updating doc folder from file-list.txt"`
	`11`	`+ echo "Updating doc/ from file-list.txt"`
`12`	`12`	`wget -i "${BUILD_DIR}/ci/file-list.txt" --force-directories -nH --cut-dirs=1 -P "${DOC_DIR}"`
`13`	`13`	`}`
`14`	`14`