From a0558048c33f05694820e3aca89debf704e306d4 Mon Sep 17 00:00:00 2001
From: Bastien Guerry <bastien.guerry@data.gouv.fr>
Date: Wed, 29 Apr 2020 15:43:04 +0200
Subject: [PATCH] INSTALL.org: Remove obsolete instruction

---
 INSTALL.org | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/INSTALL.org b/INSTALL.org
index 4f0fd48..8753b4a 100644
--- a/INSTALL.org
+++ b/INSTALL.org
@@ -60,9 +60,3 @@ et que chaque conclusion est atteinte au moins par une possibilité de
 réponse.
 
 Vous pouvez aussi lancer une [[file:preuve-formelle/][preuve formelle avec Z3]].
-
-** Déployer les fichiers statiques depuis ce dépôt
-
-Une seule commande :
-
-: ./build