From b647248e2bc79023934b18109279c16e8600b5ce Mon Sep 17 00:00:00 2001
From: thinksanky <31976455+thinksanky@users.noreply.github.com>
Date: Thu, 25 Jan 2018 17:34:28 -0800
Subject: [PATCH] fixed the rm command that was not cleaning the versioned
 master folder (#9566)

---
 docs/build_version_doc/build_doc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/build_version_doc/build_doc.sh b/docs/build_version_doc/build_doc.sh
index d7cbd3bfbefc..b13fa5c1915d 100755
--- a/docs/build_version_doc/build_doc.sh
+++ b/docs/build_version_doc/build_doc.sh
@@ -77,7 +77,7 @@ git submodule update
 echo "Building master"
 make docs || exit 1
 
-rm -rfv "$web_folder/versions/master/*"
+rm -rfv $web_folder/versions/master/*
 cp -a "docs/_build/html/." "$web_folder/versions/master"
 tests/ci_build/ci_build.sh doc python docs/build_version_doc/AddVersion.py --file_path "$web_folder/versions/master"