From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 25 Dec 2016 21:47:14 +0000 (+0100)
Subject: web: Fix link to git branches.
X-Git-Tag: v0.5.7~14
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=0829285d0c0252b2bf3e428760b46c2d0e4dfff2;p=paraslash.git

web: Fix link to git branches.

The link broke several months ago in commit a2c5e36 which converted
the manual to markdown.
---

diff --git a/web/download.in.html b/web/download.in.html
index dd0b9c78..a09fd1c8 100644
--- a/web/download.in.html
+++ b/web/download.in.html
@@ -19,7 +19,7 @@ provided at this point. There are several ways to download the source:
 		check out any of the four integration branches maint,
 		master, next, pu (see the
 
-		<a href="manual.html#git_branches">git_branches</a>
+		<a href="manual.html#Git.branches">Git branches</a>
 
 		section of the manual). All previous releases
 		correspond to tagged commits and may be checked out