File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -41,12 +41,25 @@ jobs:
4141 - name : Build docs (Makefile)
4242 run : make build-docs
4343
44+ - name : Debug - Check built docs content
45+ run : |
46+ echo "Contents of docs/build/html:"
47+ ls -la docs/build/html/
48+ echo "Hidden files in docs/build/html:"
49+ find docs/build/html -name ".*" -type f
50+
4451 - name : Preserve built docs
4552 run : |
4653 # Move built docs to a temporary location outside the repo
4754 mkdir -p /tmp/docs-build
48- cp -r docs/build/html/. /tmp/docs-build/
49- ls -la /tmp/docs-build/ # Debug: show what was copied
55+ # Enable dotglob to include hidden files in globs
56+ shopt -s dotglob
57+ # Copy all files including hidden ones
58+ cp -r docs/build/html/* /tmp/docs-build/
59+ # Show what was actually copied (including hidden files)
60+ ls -la /tmp/docs-build/
61+ echo "Files starting with dot:"
62+ find /tmp/docs-build -name ".*" -type f
5063
5164 - name : Configure Git
5265 run : |
97110 fi
98111
99112 # Copy preserved documentation
100- cp -r /tmp/docs-build/. .
113+ # Enable dotglob to include hidden files in globs
114+ shopt -s dotglob
115+ cp -r /tmp/docs-build/* .
101116
102117 ls -la . # Debug: show what was copied to current directory
103118
You can’t perform that action at this time.
0 commit comments