Update make_docs.sh

luca-fiorito-11 · Jul 7, 2023 · e0be7ea · e0be7ea
1 parent c7d8054
commit e0be7ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make_docs.sh b/make_docs.sh
@@ -11,4 +11,4 @@ sed -i "s/alabaster/sphinx_rtd_theme/" api_docs/source/conf.py
 sphinx-apidoc --separate --force --module-first -o api_docs/source sandy
 
 # Run make
-[[ -n $1 ]] && (cd api_docs && make $1) >/dev/null 2>&1
+[[ -n $1 ]] && (cd api_docs && make $1)