From 78dd873628206446d41ec47b4b67ad5a0d181d24 Mon Sep 17 00:00:00 2001
From: Jonas Fonseca <fonseca@diku.dk>
Date: Tue, 16 May 2006 17:21:47 +0200
Subject: [PATCH] Put documentation in a branch named release

---
 README.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.html b/README.html
index c3abc8b..72e95cc 100644
--- a/README.html
+++ b/README.html
@@ -27,7 +27,7 @@ with the log message, diffstat, and the diff.</p>
 </li>
 </ul>
 <p>Documentation files are available either at the home page or or in the above
-repository in the branch named <em>docs</em>.</p>
+repository in the branch named <em>release</em>.</p>
 </div>
 <h2>Installation instructions</h2>
 <div class="sectionbody">
-- 
2.11.0