This is appropriate if code changes need to be made before resubmitting the 'nightly' builds.
 
 *: Create a new build tag.
-*: =git tag BUILD-V7_5_5-branch-2011-1-3_2 V7_5_5-branch=
-*: =git push origin BUILD-V7_5_5-branch-2011-1-3_2=
+*:: =git tag BUILD-V7_5_5-branch-2011-1-3_2 V7_5_5-branch=
+*:: =git push origin BUILD-V7_5_5-branch-2011-1-3_2=
+
+*: Also tag the manual.
+*:: =git tag BUILD-V7_5_5-branch-2011-1-3_2 V7_5_5-branch=
+*:: =git push origin BUILD-V7_5_5-branch-2011-1-3_2=
+
 
 *: Then on nmi-s006:
 *: =sudo su - cndrauto=
 *: Verify that the code updates have made it to the local copy of the repository.
 *: =git --git-dir=/space/git/CONDOR_SRC.git fetch=
+*: =git --git-dir=/space/git/CONDOR_DOC.git fetch=
 *: =git --git-dir=/space/git/CONDOR_SRC.git log BUILD-V7_5_5-branch-2011-1-3_2=
-*: When all is ready, edit =/space/git/nwo-build-tags.git= and replace the nightly tag with the new one you just made.  (This is a hack!)
+*: When all is ready, edit =/space/git/nwo-build-tags.git= and replace the nightly tag with the new one you just made.  Delete the entries that are unwanted.  (This is a hack!)
 *: Now submit the builds as above.