Put documentation in a branch named release

diff --git a/README.html b/README.html
index c3abc8b..72e95cc 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
-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