Put documentation in a branch named release

diff --git a/README.html b/README.html
index c3abc8bfa82153f7c2c5f17ac21e97c5c63e0163..72e95cc280c3bc7a0a1fde0770ceb8d5c91365f9 100644 (file)
--- a/README.html
+++ b/README.html
@@ -27,7 +27,7 @@ with the log message, diffstat, and the diff.</p>
 </li>\r
 </ul>\r
 <p>Documentation files are available either at the home page or or in the above\r
 </li>\r
 </ul>\r
 <p>Documentation files are available either at the home page or or in the above\r

-repository in the branch named <em>docs</em>.</p>\r
+repository in the branch named <em>release</em>.</p>\r

 </div>\r
 <h2>Installation instructions</h2>\r
 <div class="sectionbody">\r
 </div>\r
 <h2>Installation instructions</h2>\r
 <div class="sectionbody">\r