diff --git a/Documentation/build-docs.sh b/Documentation/build-docs.sh
index 09c32eca4c60f9db830c5ce170752b431064b222..2cb616489cecf83d104d3797c7e5ed70f08ef7d3 100755
--- a/Documentation/build-docs.sh
+++ b/Documentation/build-docs.sh
@@ -4,3 +4,7 @@ set -e
 cd "$(dirname "$0")"
 
 sphinx-build -b html . ./output
+
+if [ "$1" = "--open" ]; then
+   xdg-open ./output/index.html
+fi