blob: 15888ba6e83c263193c830b3e45d1b5d51ffb348 [file] [log] [blame]
Nathan Skrzypczak55c68c92019-07-29 11:18:05 +02001#!/bin/bash
2
3if [ ! -d "docs" ]; then
4 echo "This script is meant to be run from the root directory"
5 exit 1;
6fi
7
8for f in $(find ./docs -type l)
9do
10 target=$(readlink $f)
11 rm $f
12 cp $(dirname $f)/$target $(dirname $f)/$(basename $target)
13 echo "Replaced symlink $f"
14done
15
16echo "Cleaning doc build directory"
17make docs-clean
18