From eaad95b181ccf40012040e5340f7f067c90ada64 Mon Sep 17 00:00:00 2001
From: Teddy Reed <teddy@prosauce.org>
Date: Mon, 12 Jan 2015 15:38:16 -0800
Subject: [PATCH] Add texinfo to CentOS provision

---
 tools/provision.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/provision.sh b/tools/provision.sh
index f57b4d96..6d940a7c 100755
--- a/tools/provision.sh
+++ b/tools/provision.sh
@@ -433,6 +433,8 @@ function main() {
     if [[ -z $(rpm -qa | grep 'kernel-headers-3.10.0-123.9.3.el7.x86_64') ]]; then
       sudo rpm -iv ftp://rpmfind.net/linux/centos/7.0.1406/updates/x86_64/Packages/kernel-headers-3.10.0-123.9.3.el7.x86_64.rpm
     fi
+
+    package texinfo
     package git-all
     package unzip
     package xz