[sagenb] 150/157: Remove unneeded rm

[felix salfelder]

This is an automated email from the git hooks/post-receive script.

felix-guest pushed a commit to branch master
in repository sagenb.

commit e348360f22782f835780964385786c4c1564d4a8
Author: kcrisman <kcrisman at gmail.com>
Date:   Mon Nov 10 10:17:49 2014 -0500

    Remove unneeded rm
    
    This is already done in the script itself.
---
 ReleaseInstr.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ReleaseInstr.md b/ReleaseInstr.md
index b9d0464..d27554d 100644
--- a/ReleaseInstr.md
+++ b/ReleaseInstr.md
@@ -51,10 +51,9 @@ in your local `SAGENB_ROOT`.
 
 1. (Optional) If the above command was already run once, then to avoid
    downloading all the dependencies all over again, and to just repackage
-   only sagenb, the following command can also be run:
+   only sagenb, one can also run the dist script with the ``-s`` option:
 
     ```sh
-    rm -f dist/sagenb*
     ./dist.sh -s
     ```
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/sagenb.git