From 0d7981c7e57b5c0fb3a041a833735fc4ad83ff7d Mon Sep 17 00:00:00 2001 From: DeDe Morton Date: Tue, 7 Jan 2020 18:23:27 -0800 Subject: [PATCH] [DOCS] Switch doc build to use direct_html flag (#15159) (#15173) --- script/build_docs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/build_docs.sh b/script/build_docs.sh index 08277857d71e..50a70bb112ff 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