diff --git a/README.md b/README.md
index 65c48f60b30466ed3873cda313046ffab4aac224..e4f80fe4bafd3e813d20314c5c34ac643c2d2cc8 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