19 lines
332 B
Bash
19 lines
332 B
Bash
|
#!/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
|
||
|
|
|