Fix build-docs

Fix error "[: too many arguments", the extra space is important.

Change-Id: I5ea3ccb0f83e59ff4d729934cb8af2de220e4226
This commit is contained in:
Andreas Jaeger 2017-12-05 12:13:30 -06:00
parent 8242fcd4ed
commit e0fda41f6c
1 changed files with 1 additions and 1 deletions

View File

@ -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