From e0fda41f6c042209d70519b8e1546a76f5d758de Mon Sep 17 00:00:00 2001 From: Andreas Jaeger Date: Tue, 5 Dec 2017 12:13:30 -0600 Subject: [PATCH] Fix build-docs Fix error "[: too many arguments", the extra space is important. Change-Id: I5ea3ccb0f83e59ff4d729934cb8af2de220e4226 --- tools/build-docs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build-docs.sh b/tools/build-docs.sh index 7e8419c..5e6ac0c 100755 --- a/tools/build-docs.sh +++ b/tools/build-docs.sh @@ -75,7 +75,7 @@ function _add_language_index { path_to_top_level=$(dirname $basename | sed -e 's|[^./]\+|..|g') local _basepath - if [ "$basepath"= "." -a "$path_to_top_level" = "." ]; then + if [ "$basepath" = "." -a "$path_to_top_level" = "." ]; then _basepath="." elif [ "$basepath" = "." ]; then _basepath=$path_to_top_level