diff --git a/.gitignore b/.gitignore index bff8d6676e..00bdbae861 100644 --- a/.gitignore +++ b/.gitignore @@ -4,7 +4,7 @@ coverage.out # compile HTML -_build/ +docs/_build/ docs.log # log dirs diff --git a/build.sh b/build.sh index 01c8a16d63..be98ca6d01 100755 --- a/build.sh +++ b/build.sh @@ -6,11 +6,11 @@ set -e build_stream=${1:-edinburgh} docker build -t doc-builder:latest -f Dockerfile.build --build-arg STREAM=${build_stream} . -rm -rf _build -mkdir _build +rm -rf docs/_build +mkdir -p docs/_build # Build documentation in container -docker run --rm -v "$(pwd)"/_build:/docbuild/_build doc-builder:latest +docker run --rm -v "$(pwd)"/docs/_build:/docbuild/_build doc-builder:latest