Skip to content
Snippets Groups Projects
Commit 1fc4dca8 authored by Martin Schoeberl's avatar Martin Schoeberl Committed by GitHub
Browse files

doc: we need texinfo

parent f0724a2e
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment