diff options
-rw-r--r-- | INSTALL | 5 | ||||
-rw-r--r-- | README | 5 | ||||
-rw-r--r-- | distrib/Makefile | 2 |
3 files changed, 5 insertions, 7 deletions
@@ -1,13 +1,12 @@ - INSTALLATION PROCEDURES FOR THE COQ V7 SYSTEM + INSTALLATION PROCEDURES FOR THE COQ V7.0 SYSTEM --------------------------------------------- - (beta version) WHAT DO YOU NEED ? ================== Coq is designed to work on computers equipped with the Unix operating - system. In order to compile Coq V7 you need: + system. In order to compile Coq V7.0 you need: - Objective Caml version 3.01 or later (available at http://caml.inria.fr/) @@ -1,7 +1,6 @@ - THE COQ V7 SYSTEM + THE COQ V7.0 SYSTEM ================= - (beta version) INSTALLATION. ============= @@ -12,7 +11,7 @@ INSTALLATION. DOCUMENTATION. (not available for beta version) ============== - The documentation of Coq V7 is available by anonymous ftp (see below), + The documentation of Coq V7.0 is available by anonymous ftp (see below), in a directory doc/. The documents are available separately or all together in the tar file all-docs.tar . diff --git a/distrib/Makefile b/distrib/Makefile index c03bb75be..f606c29c0 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -70,7 +70,7 @@ tar-gz: @echo done @echo -n Building the tar.gz source package @tar cvf ${COQPACKAGE}.tar ${COQPACKAGE} - @gzip --best ${COQPACKAGE}.tar + @gzip --best --force ${COQPACKAGE}.tar @echo done @echo Checking release parameters ./check-list |