From a5f3e7f87d786872fb9d5dc3de8511599761e300 Mon Sep 17 00:00:00 2001
From: Jean-Pierre PRUNARET <jean-pierre+git@prunetwork.fr>
Date: Wed, 13 Jul 2016 16:58:31 +0200
Subject: [PATCH] ajout de zeal (explorateur de doc offline)

---
 app-dev.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/app-dev.nix b/app-dev.nix
index 328ada3..4c4a2d0 100644
--- a/app-dev.nix
+++ b/app-dev.nix
@@ -14,6 +14,9 @@
     idea.idea-community
     gcc           # pour les appels depuis les scripts
 
+    # Documentation
+    zeal
+
     ## Gestion des sources
     # git       # déjà présent dans "base"
     git-cola