From 1910bc6fffe991e8e69c64d5bbd5e64060d290d0 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Mon, 7 Nov 2022 18:14:38 +0100
Subject: [PATCH] Instructions

---
 INSTALL.rst | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/INSTALL.rst b/INSTALL.rst
index 6d33f1c8..d0b7da7e 100644
--- a/INSTALL.rst
+++ b/INSTALL.rst
@@ -47,22 +47,6 @@ and running |qp| can be installed using:
 
 in the :file:`qp2` root directory.
 
-Installation on a x86_64 system without network access
-======================================================
-
-Fetch the :file:`qp2-environment.tar.gz` archive containing all the
-dependencies `here <http://localhost>`_.  Unpack the archive in the
-:file:`guix` directory:
-
-.. code:: bash
-
-   $ cd qp2/guix
-   $ wget qp2-environment.tar.gz
-   $ tar -zxf qp2-environment.tar.gz
-   $ ls
-   gnu  manifest.scm  qp2-environment.tar.gz  qp2.scm
-
-That's it!
 
 Compilation
 ===========