diff --git a/build_docs.sh b/build_docs.sh
index cbb490ebbcf..0f7a1be8482 100755
--- a/build_docs.sh
+++ b/build_docs.sh
@@ -4,7 +4,7 @@ set -e # Exit with nonzero exit code if anything fails
 # Doxygen
 echo "Build the Doxygen documentation"
 cd Docs/Doxygen
-doxygen doxygen.conf &> doxygen.out
+doxygen doxygen.conf
 cd ../..
 
 # sphinx