From 00af3a2dd8872446d213d2b1c2c6f536efa65701 Mon Sep 17 00:00:00 2001
From: Alice BRENON <alice.brenon@ens-lyon.fr>
Date: Wed, 23 Feb 2022 11:33:02 +0100
Subject: [PATCH] Explain how to generate a building environment

---
 README.md    | 11 +++++++++++
 manifest.scm |  8 ++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 README.md
 create mode 100644 manifest.scm

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..62e75f0
--- /dev/null
+++ b/README.md
@@ -0,0 +1,11 @@
+# ICHLL_Brenon
+
+La version la plus à jour du papier est dispo
+[ici](https://perso.liris.cnrs.fr/abrenon/no-backup/ICHLL_Brenon.pdf).
+
+Il peut être généré sur tout système où [guix](https://guix.gnu.org/) est
+installé depuis la racine de ce dépôt en lançant la commande:
+
+```
+guix shell -m manifest.scm -- make
+```
diff --git a/manifest.scm b/manifest.scm
new file mode 100644
index 0000000..77f085a
--- /dev/null
+++ b/manifest.scm
@@ -0,0 +1,8 @@
+(use-modules (guix packages)
+             (gnu packages base)
+             (gnu packages haskell-xyz)
+             (gnu packages pdf)
+             (gnu packages tex))
+
+(packages->manifest
+  (list gnu-make pandoc poppler texlive))
-- 
GitLab