diff --git a/build_tools/circle/build_doc.sh b/build_tools/circle/build_doc.sh index fac3122fa573f..e8aecd72021f6 100755 --- a/build_tools/circle/build_doc.sh +++ b/build_tools/circle/build_doc.sh @@ -159,7 +159,7 @@ then echo "$affected" ( echo '
General: Home | API Reference | Examples
' ) > 'doc/_build/html/stable/_changed.html' fi