It seems to me that $SAGE_ROOT/local/bin/sage-sage.py is never used for anything. It seems to do more or less the same as $SAGE_ROOT/local/bin/sage-sage which is a shell script and which is called by $SAGE_ROOT/sage.
It nobody complains, I will open a ticket to remove this file. Jeroen. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org