Mention CentOS 7 repo in documentation

diff --git a/doc/book.xml b/doc/book.xml
index 0882990..c6e8f08 100644 (file)
--- 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