docs/_scripts/prepare-for-site.sh

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