From 530e37de1f112959a27ab9ef1b8a7791c1051106 Mon Sep 17 00:00:00 2001
From: gcolpart <gcolpart+gitit@evolix.fr>
Date: Sun, 23 Dec 2018 14:01:06 +0100
Subject: [PATCH] mise a jour en Debian 9

---
 HowtoGitit.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/HowtoGitit.md b/HowtoGitit.md
index ce99104b..168e8183 100644
--- a/HowtoGitit.md
+++ b/HowtoGitit.md
@@ -31,11 +31,11 @@ warranty, not even for merchantability or fitness for a particular purpose.
 
 ~~~
 $ cabal update
-$ cabal install gitit
+$ cabal --reorder-goals install gitit
 $ echo PATH="$HOME/.cabal/bin:$PATH" > ~/.profile
 
 $ gitit --version
-gitit version 0.12.2 -plugins
+gitit version 0.12.3 -plugins
 ~~~
 
 Note : `/tmp` doit être en EXEC pendant l'installation