Fix update instructions for the website.
diff --git a/doc/release/release.howto.txt b/doc/release/release.howto.txt
index 5876724..9a7578e 100644
--- a/doc/release/release.howto.txt
+++ b/doc/release/release.howto.txt
@@ -691,10 +691,15 @@
The following commands are useful:
+Reverting:
+
+ $ svn status | grep ^M
+ $ svn status | awk '{if ($1 == "M") print $2 }' | xargs svn revert
+
Deleting (**do not** delete old javadocs):
$ svn status | grep -v javadocs | grep ^!
- $ svn status | grep -v javadocs | awk '{if ($1 == "?") print $2 }' | xargs svn del
+ $ svn status | grep -v javadocs | awk '{if ($1 == "!") print $2 }' | xargs svn del
Adding:
