From ce077ae88ea9fb57b42a322c23a18d3136e13c2a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20DA=20ROCHA?= <sebastien@da-rocha.net>
Date: Fri, 30 Nov 2018 11:51:56 +0100
Subject: [PATCH] [doc] #142: Pip install: add dependency for Linux Mint

---
 doc/install_pip.md | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/doc/install_pip.md b/doc/install_pip.md
index 64b598be..be7a8ae8 100644
--- a/doc/install_pip.md
+++ b/doc/install_pip.md
@@ -6,11 +6,18 @@
 sudo apt install python3-pip libssl-dev
 ```
 
-On Ubuntu 14.04 and Debian 8, you need this package too:
+On Ubuntu (14.04 and 16.04) and Debian 8, you need this package too:
 ```bash
 sudo apt install libffi-dev
 ```
 
+Your system must use UTF-8 locales.
+
+Linux Mint is reported to require the installation of this package too:
+```
+sudo apt install python3-dev
+```
+
 ## Install from Pypi
 
 ```bash
-- 
GitLab