update_dev_doc: minor fix

MRtrix3 · Apr 13, 2016 · e9c6a32 · e9c6a32
1 parent 9ba0b92
commit e9c6a32
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/update_dev_doc b/update_dev_doc
@@ -7,7 +7,8 @@ set -e
 
 (
   cd mrtrix3-dev-doc 
-  rm -rf *
+  git pull
+  git rm -rf *
   cp -r ../devdoc/* .
   git add .
   git commit -a -m "automatic update of dev doc"