From 019956fcc05c4da494f144758fe89e6679b2b5e9 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Tue, 30 Mar 2021 00:29:24 +0900
Subject: Change synopsis and description.

* Makefile.am,
guix.scm,
pre-inst-env.in
README.md: Change synopsis and description.
---
 pre-inst-env.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pre-inst-env.in')

diff --git a/pre-inst-env.in b/pre-inst-env.in
index c2bd49c..a322153 100644
--- a/pre-inst-env.in
+++ b/pre-inst-env.in
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-## Guile-ACL2 --- A Compiler from ACL2 to Guile
+## Guile-ACL2 --- Guile's ACL2 compiler
 ## Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo>
 ##
 ## This file is part of Guile-ACL2.
-- 
cgit v1.2.3