From 3252557aabc1ce25b8c08b66f87054789ec973c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Adjemian=20=28Hermes=29?=
 <stephane.adjemian@univ-lemans.fr>
Date: Wed, 24 Aug 2016 14:45:24 +0200
Subject: [PATCH] Build on debian/Ubuntu. Add texlive-fonts-extra package after
 `apt-get build-dep dynare`.

Closes #1263.
---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index d769ff7e4a..d2fd636d6f 100644
--- a/README.md
+++ b/README.md
@@ -152,6 +152,12 @@ The easiest way to install the pre-requisites in Debian is to use Debian's dynar
 ```
 apt-get build-dep dynare
 ```
+followed by (only for building the master branch):
+```
+apt-get install texlive-fonts-extra
+```
+which is missing in Debian's list of pre-requisites.
+
 Alternatively, if you want to build everything, manually install the following packages:
 
 - `build-essential` (for gcc, g++ and make)
-- 
GitLab