diff --git a/documentation/staging.sh b/documentation/staging.sh index 07ca2de1d2..64fec07e47 100755 --- a/documentation/staging.sh +++ b/documentation/staging.sh @@ -27,9 +27,9 @@ do # clean old dist/$i rm -rf ../../dist/docs/$i # move newly rendered book/ to dist - cp -r ./book/ ../../dist/docs/$i + cp -r ./book/html/ ../../dist/docs/$i # sanity check - ls -a ../../dist/docs/$i/html + ls -a ../../dist/docs/$i/ # cd back to ../documentation/ cd ../ done \ No newline at end of file