Ticket #1539: scripts-1539.patch
| File scripts-1539.patch, 0.9 kB (added by was, 4 months ago) |
|---|
-
a/sage-bdist
old new 60 60 ln -sf ../../../../devel/sage/build/sage . 61 61 fi 62 62 63 #if [ -d devel/doc-main ]; then64 #if [ ! -d $TMP/devel ]; then65 #mkdir $TMP/devel/66 #fi67 #cp -L$OPT devel/doc-main $TMP/devel/doc-main68 #cd $TMP/devel69 #ln -s doc-main doc70 #fi63 if [ -d devel/doc-main ]; then 64 if [ ! -d $TMP/devel ]; then 65 mkdir $TMP/devel/ 66 fi 67 cp -L$OPT devel/doc-main $TMP/devel/doc-main 68 cd $TMP/devel 69 ln -s doc-main doc 70 fi 71 71 72 72 cd "$SAGE_ROOT" 73 73
