diff options
author | 2018-12-19 11:38:46 -0500 | |
---|---|---|
committer | 2018-12-19 11:38:46 -0500 | |
commit | ffcf765623b2da7ca330916eda404ac210eb513e (patch) | |
tree | d1ee8350022e9de39df79cc11e1846b583324b1c /demo | |
parent | fdd3695f9d4f754417da10018b260006e69b0e34 (diff) |
Follow-up to #146: update documentation
Diffstat (limited to 'demo')
-rw-r--r-- | demo/prose | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5,12 +5,13 @@ <h6>Install System Dependencies</h6> <p> -<blockquote><pre>sudo apt-get install build-essential \ +<blockquote><pre>sudo apt install build-essential \ emacs-goodies-el \ libgmp-dev \ libssl-dev \ libpq-dev \ libsqlite3-dev \ + libicu-dev \ mlton \ sqlite3</blockquote></pre></p> |