From 1e65466e43551ee9e18c6ee55bb3f35a23ede9f2 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 13 Feb 2019 11:17:00 +0100
Subject: [PATCH] More precise TeX Live dependencies

---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.md b/INSTALL.md
index 9f13d89..b83a420 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -134,7 +134,7 @@ Additionnaly, you will need LaTeX to compile the specification.
 On Debian-based systems, you can install the dependencies needed to
 compile the documentation with:
 
-    sudo apt install markdown texlive
+    sudo apt install markdown texlive-latex-extra texlive-fonts-recommended texlive-fonts-extra lmodern
 
 Once all the dependencies have been installed, the documentation can
 be compiled with:
-- 
2.22.0