File tree Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Original file line number Diff line number Diff line change @@ -10,6 +10,26 @@ FORMAT=${2:-xhtml}
1010PACKAGE=${PACKAGE:- PHP}
1111MANUAL_PATH=" /var/www/$LANGUAGE /.manual.xml"
1212
13+ # 🧩 Step 1. Verify prerequisites (avoid silent empty mounts)
14+
15+ REQUIRED_DIRS=" /var/www/doc-base /var/www/$LANGUAGE "
16+
17+ echo " 🔍 Checking required documentation directories..."
18+ for DIR in $REQUIRED_DIRS ; do
19+ if [ ! -d " $DIR " ]; then
20+ echo " ❌ Missing required directory: $DIR "
21+ echo " 👉 Please clone the required repositories before running Docker:"
22+ echo " git clone https://github.com/php/doc-base ../doc-base"
23+ echo " git clone https://github.com/php/doc-${LANGUAGE} ../doc-${LANGUAGE} "
24+ echo " "
25+ echo " 💡 Tip: remove any empty folders and recreate containers with:"
26+ echo " docker compose down --volumes && docker compose up --force-recreate"
27+ exit 1
28+ fi
29+ done
30+ echo " ✅ All prerequisites found."
31+ echo " "
32+
1333echo " 🧩 Building PHP documentation..."
1434echo " Language: $LANGUAGE "
1535echo " Format: $FORMAT "
You can’t perform that action at this time.
0 commit comments