+++ /dev/null
-#!/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
-