Fix build script to copy module ABOUT files from src/ to docs/modules/

The docs/modules/ directory is gitignored since these are generated files.
Build script now copies src/*/ABOUT.md to docs/modules/*_ABOUT.md before
building, ensuring all 20 module pages appear in the sidebar navigation.
This commit is contained in:
Vijay Janapa Reddi
2025-12-03 06:43:10 -08:00
parent d8424b4a63
commit 0911074243

View File

@@ -69,6 +69,19 @@ if [ -d "_build" ]; then
echo ""
fi
# Copy module ABOUT.md files from src/ to docs/modules/
echo "📋 Copying module ABOUT files..."
mkdir -p modules
for i in 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20; do
src_dir=$(find "$PROJECT_ROOT/src" -maxdepth 1 -type d -name "${i}_*" | head -1)
if [ -n "$src_dir" ] && [ -f "$src_dir/ABOUT.md" ]; then
module_name=$(basename "$src_dir")
cp "$src_dir/ABOUT.md" "modules/${module_name}_ABOUT.md"
fi
done
echo " Copied $(ls modules/*_ABOUT.md 2>/dev/null | wc -l | tr -d ' ') module files"
echo ""
# Build the site
echo "🚀 Building Jupyter Book site..."
echo ""