fix build break (#730)

docs build was breaking because requirements file was getting ignored from .dockerignore

.dockerignore

@@ -7,6 +7,8 @@ crates/target/
 
 # Documentation & website
 docs/
+!docs/requirements.txt
+!docs/source/
 apps/
 packages/
 

docs/Dockerfile

@@ -1,7 +1,7 @@
 FROM sphinxdoc/sphinx
 
 WORKDIR /docs
-ADD docs/requirements.txt /docs
+COPY docs/requirements.txt /docs
 RUN python3 -m pip install -r requirements.txt
 RUN pip freeze
 

docs/build_docs.sh

@@ -1,3 +1,5 @@
+set -e
+
 docker build -f docs/Dockerfile . -t sphinx
 
 # Clean build output locally