From 319ea8d6f518d08c1f50d8ec80899e1bc6ca7923 Mon Sep 17 00:00:00 2001
From: Adam Dickmeiss <adam@indexdata.dk>
Date: Mon, 16 Nov 2015 13:27:13 +0100
Subject: [PATCH] Update URL for Bison Windows version

It used to be part of Git for Windows. It no longer is.
---
 doc/book.xml |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/book.xml b/doc/book.xml
index 35b13d3..8bb42c0 100644
--- a/doc/book.xml
+++ b/doc/book.xml
@@ -969,8 +969,8 @@
 	(<filename>cql.y</filename>).
        </para>
        <para>
-	A Windows version of GNU Bison is part of
-	<ulink url="&url.gitwindows;">Git for Windows</ulink>.
+	A Windows version of GNU Bison can be fetched from here:
+	<ulink url="http://ftp.indexdata.dk/pub/support/windows/bison-2.4.1-setup.exe"/>.
        </para></listitem>
       </varlistentry>
       <varlistentry>
-- 
1.7.10.4