73
73
# Create the information page
74
74
echo '-------------------moving results---------------------'
77
77
if [ ! -d "$target/dist" ]; then mkdir "$target/dist"; fi
78
78
if [ -d "$target/dist/r$head" ]; then rm -r "$target/dist/r$head"; fi
81
81
# Some static links for the most recent artifacts.
82
82
ln -sf "r$head" "$target/dist/current"