From 7d5c59e5be0e2f1d8d1992234e6b1773971d19f3 Mon Sep 17 00:00:00 2001
From: courant
Date: Wed, 25 Apr 2001 14:37:11 +0000
Subject: *** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1722 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 INSTALL          | 5 ++---
 README           | 5 ++---
 distrib/Makefile | 2 +-
 3 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/INSTALL b/INSTALL
index 0c405bcd1b..c8729d8d63 100644
--- a/INSTALL
+++ b/INSTALL
@@ -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/)
diff --git a/README b/README
index 302318a378..6c08923569 100644
--- a/README
+++ b/README
@@ -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 c03bb75be7..f606c29c0c 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
-- 
cgit v1.2.3