mise a jour en Debian 9

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