sageWithDoc: fix documentation symlinks

(cherry picked from commit 2c7d2ce295296553451a7839513427f63377e92e)
This commit is contained in:
Mauricio Collares 2021-05-29 13:33:43 -03:00 committed by github-actions[bot]
parent 0e2b7ebdde
commit 1834af74e3

View File

@ -76,7 +76,7 @@ stdenv.mkDerivation rec {
mv html/en/_static{,.tmp}
for _dir in `find -name _static` ; do
rm -r $_dir
ln -s html/en/_static $_dir
ln -rs html/en/_static $_dir
done
mv html/en/_static{.tmp,}
'';