3 if [ ! -d "docs" ]; then
4 echo "This script is meant to be run from the root directory"
8 for f in $(find ./docs -type l)
12 cp $(dirname $f)/$target $(dirname $f)/$(basename $target)
13 echo "Replaced symlink $f"
16 echo "Cleaning doc build directory"