diff --git a/hall.scm b/hall.scm
index b0f99b2..1e11923 100644
--- a/hall.scm
+++ b/hall.scm
@@ -30,9 +30,11 @@
                (in-file "make-initiator")
                (text-file "make-initiator")
                (text-file "make-joiner")))))
-         (documentation ((org-file "README")))
+         (documentation
+           ((text-file "COPYING") (org-file "README")))
          (infrastructure
-           ((in-file "pre-inst-env")
+           ((scheme-file "guix")
+            (in-file "pre-inst-env")
             (directory
               "build-aux"
               ((tex-file "texinfo")