1 files changed, 0 insertions, 18 deletions
diff --git a/docs/scripts/prepare-for-site.sh b/docs/scripts/prepare-for-site.sh
deleted file mode 100755
index 15888ba6e83..00000000000
--- a/docs/scripts/prepare-for-site.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/bash
-
-if [ ! -d "docs" ]; then
-  echo "This script is meant to be run from the root directory"
-  exit 1;
-fi
-
-for f in $(find ./docs -type l)
-do
-  target=$(readlink $f)
-  rm $f
-  cp $(dirname $f)/$target $(dirname $f)/$(basename $target)
-  echo "Replaced symlink $f"
-done
-
-echo "Cleaning doc build directory"
-make docs-clean
-