From 019956fcc05c4da494f144758fe89e6679b2b5e9 Mon Sep 17 00:00:00 2001 From: Masaya Tojo 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. --- Makefile.am | 2 +- README.md | 3 ++- guix.scm | 7 ++++--- pre-inst-env.in | 2 +- 4 files changed, 8 insertions(+), 6 deletions(-) diff --git a/Makefile.am b/Makefile.am index 53112d5..e5498ea 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,4 +1,4 @@ -## Guile-ACL2 --- A Compiler from ACL2 to Guile +## Guile-ACL2 --- Guile's ACL2 compiler ## Copyright © 2021 Masaya Tojo ## ## This file is part of Guile-ACL2. diff --git a/README.md b/README.md index a058ffe..d5e82a0 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,4 @@ # Guile-ACL2 -Guile-ACL2 is a compiler from ACL2 to Guile. +An implementation of Guile's ACL2 (A Computational Logic for Applicative Common +Lisp) compiler. diff --git a/guix.scm b/guix.scm index 38c8856..b55185e 100644 --- a/guix.scm +++ b/guix.scm @@ -1,4 +1,4 @@ -;;; Guile-ACL2 --- A Compiler from ACL2 to Guile +;;; Guile-ACL2 --- Guile's ACL2 compiler ;;; Copyright © 2021 Masaya Tojo ;;; ;;; This file is part of Guile-ACL2. @@ -41,8 +41,9 @@ ("texinfo" ,texinfo))) (inputs `(("guile" ,guile-3.0))) - (synopsis "A Compiler from ACL2 to Guile") - (description "Guile-ACL2 is a compiler from ACL2 to Guile.") + (synopsis "Guile's ACL2 compiler") + (description "This package provides an implementation of Guile's ACL2 (A Computational +Logic for Applicative Common Lisp) compiler.") (home-page "https://git.tojo.tokyo/guile-acl2.git") (license license:gpl3+))) 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 ## ## This file is part of Guile-ACL2. -- cgit v1.2.3