blob: 15888ba6e83c263193c830b3e45d1b5d51ffb348 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/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
|
