diff --git a/Makefile b/Makefile index 9e8955a07f6..9cb21f80c1d 100644 --- a/Makefile +++ b/Makefile @@ -196,7 +196,7 @@ micro_release: @echo "Removing unnecessary files & directories - make will not be functional afterwards anymore" @# We keep src/sage for some doctests that it expect it to be there and @# also because it does not add any weight with rdfind below. - @# We need src/sage/bin/ for the scripts that invoke Sage + @# We need src/bin/ for the scripts that invoke Sage @# We need sage, the script to start Sage @# We need local/, the dependencies and the built Sage library itself. @# We keep VERSION.txt.