Fix build script.HEADmaster

1 files changed, 1 insertions, 0 deletions

diff --git a/guix.scm b/guix.scm
index 6e3e28c..b124961 100644
--- a/guix.scm
+++ b/guix.scm
@@ -18,6 +18,7 @@
                         #:select? (git-predicate %source-dir)))
     (build-system agda-build-system)
     (inputs (list agda-stdlib-1.7.1))
+    (arguments '(#:readme "Everything.agda"))
     (synopsis "Semantics of the Arm M-profile Vector Extension (MVE) in Agda")
     (description "")
     (license license:expat)))