@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:
Download GUB and start the set up:
@example
-git clone git://github.com/gperciva/gub/gub.git
+git clone git://github.com/gperciva/gub.git
cd gub
make bootstrap
@end example