diff --git a/tools/compile-docs.sh b/tools/compile-docs.sh index d2e0b725..1057f49b 100644 --- a/tools/compile-docs.sh +++ b/tools/compile-docs.sh @@ -1 +1,7 @@ -cd docs && make clean && make html && cd build/html && zip -r docs.zip . +( + cd ../docs \ + && make clean \ + && make html \ + && cd build/html \ + && zip -r docs.zip . +)