From 7c099612b087c96474b2504d2aefacf1ac77ce3e Mon Sep 17 00:00:00 2001 From: DeDe Morton Date: Tue, 17 Dec 2019 16:53:08 -0800 Subject: [PATCH] [DOCS] Switch doc build to use direct_html flag (#15159) --- 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 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