git reset hard works even for Java. True story.

diff --git a/doc/dev_guide/doxygen/release.doc b/doc/dev_guide/doxygen/release.doc
index 280d157..d9e2754 100644 (file)
--- a/doc/dev_guide/doxygen/release.doc
+++ b/doc/dev_guide/doxygen/release.doc
@@ -91,8 +91,7 @@ you an archive file in the build dir:
 
 \verbatim
 $ cd simgrid-java (or simgrid-ruby)
-$ git stash
-$ git stash clear
+$ git reset --hard master
 $ git clean -dfx
 $ mkdir build
 $ cd build