MaintNotes: we now carry html and man at repo.or.cz

diff --git a/MaintNotes b/MaintNotes
index 5baae133e2e4a9b7328f0a1b378add87470bcd1a..abd866bfa152531730ea4619f3cf867fe26c4a86 100644 (file)
--- a/MaintNotes
+++ b/MaintNotes
@@ -41,8 +41,7 @@ also push into an alternate here:
 
         git://repo.or.cz/alt-git.git/
 
-Impatient people would have better luck with the latter one, but it
-does not have "html" and "man" branches (described below).
+Impatient people would have better luck with the latter one.
 
 There are three branches in git.git repository that are not
 about the source tree of git: "todo", "html" and "man".  The