From a5ef5e4c0d07e44f32f088d9a10907fe8b008c73 Mon Sep 17 00:00:00 2001
From: Hugo Locurcio <hugo.locurcio@hugo.pro>
Date: Fri, 1 May 2020 18:50:53 +0200
Subject: [PATCH] Add missing dependency in `developers.md` Linux instructions
 (#89)

This closes #88.
---
 docs/developers.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/developers.md b/docs/developers.md
index f5fe49f..e2dd332 100644
--- a/docs/developers.md
+++ b/docs/developers.md
@@ -36,7 +36,7 @@ Linux
 **Install Dependencies**
 
     # download source and go to the root folder
-    $ sudo apt-get install build-essential libirrlicht-dev cmake libpng-dev libbz2-dev libjpeg8-dev libgl1-mesa-dev
+    $ sudo apt-get install build-essential libirrlicht-dev cmake libpng-dev libbz2-dev libjpeg8-dev libgl1-mesa-dev libxxf86vm-dev
 
 **Compiling**