diff --git a/INSTALL b/INSTALL
index e71c785a9..1a1be67c6 100644
--- a/INSTALL
+++ b/INSTALL
@@ -6,13 +6,13 @@
 
     $ sudo apt-get install \
     augeas-tools \
+    dblatex \
     ldapscripts \
     libjs-jquery \
     libjs-modernizr \
     libjs-bootstrap \
     make \
     network-manager \
-    pandoc \
     ppp \
     pppoe \
     python3 \
@@ -28,7 +28,8 @@
     python3-yaml \
     gir1.2-glib-2.0 \
     gir1.2-networkmanager-1.0 \
-    gir1.2-packagekitglib-1.0
+    gir1.2-packagekitglib-1.0 \
+    xmlto
 
 2. Install Plinth: