From 1e3ccd959bd67aa0294794514968afc2fcb3e924 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 15 Nov 2012 09:21:55 +0100
Subject: [PATCH] git reset hard works even for Java. True story.

---
 doc/dev_guide/doxygen/release.doc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/dev_guide/doxygen/release.doc b/doc/dev_guide/doxygen/release.doc
index 280d1571cd..d9e2754286 100644
--- 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
-- 
2.20.1