Revision history [back]

There are a couple of make targets for this. From $SAGE_ROOT You can run:

> make micro_release  # strips binaries and library files and removes build artifacts

If you want to do less than that, you can try:

> make clean   # will remove spkg build artifacts

If you don't want local documentation, you can remove it also:

> make doc-clean   # removes local documentation

Don't use the distclean make target because that deletes all results of compilation (so Sage won't work anymore).