diff --git a/script/build_docs.sh b/script/build_docs.sh
index 08277857d71..50a70bb112f 100755
--- a/script/build_docs.sh
+++ b/script/build_docs.sh
@@ -38,5 +38,5 @@ do
     params="$params --resource=${resource_dir}"
   fi
 
-  $docs_dir/build_docs --respect_edit_url_overrides $params --doc "$index" --out "$dest_dir"
+  $docs_dir/build_docs --direct_html --respect_edit_url_overrides $params --doc "$index" --out "$dest_dir"
 done