Fixup build-docs.sh

Author: 31ch

tools/build-docs.sh

@@ -9,6 +9,6 @@ echo "Building documentation..."
 pip install -e . # required for python_training_project.version
 mkdir -p build
 cd docs
-pipenv run make html
+make html
 
 popd 2>&1 > /dev/null