Merge pull request #124980 from collares/sage-symlinks2

sageWithDoc: fix documentation symlinks
This commit is contained in:
Sandro 2021-05-30 19:58:31 +02:00 committed by GitHub
commit 5c8907d641
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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,}
'';