From 1fc4dca81ee5ddee39a429ba8eeb9a7c62c6e846 Mon Sep 17 00:00:00 2001
From: Martin Schoeberl <martin@jopdesign.com>
Date: Mon, 22 Aug 2016 17:38:06 +0200
Subject: [PATCH] doc: we need texinfo

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 65c48f60..e4f80fe4 100644
--- a/README.md
+++ b/README.md
@@ -25,7 +25,7 @@ installed on a Ubuntu Linux:
 
 On a restricted machine (e.g. Cloud9) the bare minimum is:
 
-    sudo apt-get install default-jdk git cmake make g++ flex bison \
+    sudo apt-get install default-jdk git cmake make g++ texinfo flex bison \
       subversion libelf-dev graphviz libboost-dev libboost-program-options-dev ruby1.9.1 \
       ruby1.9.1-dev python zlib1g-dev
 
-- 
GitLab