# HG changeset patch
# User William Stein <wstein@gmail.com>
# Date 1314129427 25200
# Node ID 8683f678698997f09555dd7e6e1c61460fd988cc
# Parent 5d685efc2beb5c3e54fa8b15f9fa07933a30d27d
trac 10801: create a script sage-micro_release that deletes things not strictly needed for a minimal never upgraded or developed release
diff --git a/Makefile b/Makefile
a
|
b
|
|
100 | 100 | rm -rf tmp |
101 | 101 | rm -f .BUILDSTART |
102 | 102 | |
| 103 | micro_release: |
| 104 | . local/bin/sage-env && local/bin/sage-micro_release |
| 105 | |
103 | 106 | TESTPRELIMS = . local/bin/sage-env && sage-starts && |
104 | 107 | TESTDIRS = devel/sage/doc/common devel/sage/doc/de devel/sage/doc/en devel/sage/doc/fr devel/sage/doc/ru devel/sage/sage |
105 | 108 | |