From: Adam Dickmeiss <adam@indexdata.dk>
Date: Wed, 19 Aug 2015 08:04:51 +0000 (+0200)
Subject: Mention CentOS 7 repo in documentation
X-Git-Tag: v0.5~5
X-Git-Url: http://sru.miketaylor.org.uk/cgi-bin?a=commitdiff_plain;h=1cea5f5d2d4290b91b272a179a5b747f34919131;p=mp-xquery-moved-to-github.git

Mention CentOS 7 repo in documentation
---

diff --git a/doc/book.xml b/doc/book.xml
index 0882990..c6e8f08 100644
--- a/doc/book.xml
+++ b/doc/book.xml
@@ -77,6 +77,9 @@
 	url="http://ftp.indexdata.dk/pub/mp-xquery/redhat/centos/6/README">CentOS 6</ulink>
     ,
     <ulink
+	url="http://ftp.indexdata.dk/pub/mp-xquery/redhat/centos/7/README">CentOS 7</ulink>
+    ,
+    <ulink
 	url="http://ftp.indexdata.dk/pub/mp-xquery/ubuntu/README">Ubuntu</ulink>
     and
     <ulink