Update release process in CG

diff --git a/Documentation/contributor/release-work.itexi b/Documentation/contributor/release-work.itexi
index aa918760adb8282c5f2ba7c9fd5d862c1a690c93..eb213d4a5a2649167c81025fb786fbb3f7b5fe2a 100644 (file)
--- a/Documentation/contributor/release-work.itexi
+++ b/Documentation/contributor/release-work.itexi
@@ -74,6 +74,10 @@ A @qq{minor release} means an update of @code{y} in @code{2.x.y}.
 
 @enumerate
 
+@item
+Don't forget to prepare the GUB build machine by deleting and moving unneeded
+files: see @qq{Subsequent builds} in @ref{Notes on builds with GUB}.
+
 @item
 Using any system with git pull access (not necessarily the GUB
 build machine), use the commands below to do the following: