From ffcf765623b2da7ca330916eda404ac210eb513e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 19 Dec 2018 11:38:46 -0500
Subject: Follow-up to #146: update documentation

---
 demo/prose | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'demo')

diff --git a/demo/prose b/demo/prose
index ce12aba1..75c80169 100644
--- a/demo/prose
+++ b/demo/prose
@@ -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>
 
-- 
cgit v1.2.3