summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-09 15:33:36 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-09 15:33:36 +0000
commiteae76d4eac01c30a33b86372e59f215e04c242d8 (patch)
tree800fc746af5ab4e940db86ec881c70a1e87651d3 /doc
parentb8477ff2bfcf737ef50d001fcf9a06722bbff744 (diff)
downloadmpfr-eae76d4eac01c30a33b86372e59f215e04c242d8.tar.gz
[doc/README.dev] "To make a release" update. In particular at step 5,
replaced "make dist" by "make distcheck" so that some problems can be detected at step 5 instead of step 6, ensuring that the tarballs are complete. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8741 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
-rw-r--r--doc/README.dev4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/README.dev b/doc/README.dev
index 6a201b4da..64fb574b5 100644
--- a/doc/README.dev
+++ b/doc/README.dev
@@ -160,7 +160,7 @@ To make a release (for the MPFR team):
for the final release.
Update the libtool version too (see src/Makefile.am). Check with
tools/ck-version-info (this check will also be done automatically
- by "make dist").
+ by "make dist" / "make distcheck").
Update the date in doc/mpfr.texi.
3) Update the NEWS file, in particular say if the release is binary
@@ -173,7 +173,7 @@ To make a release (for the MPFR team):
UTF-8 locales, e.g. "LC_ALL=en_US.UTF8 TZ=UTC svn log -rHEAD:0 -v".
5) Make sure that any change has been committed (with "svn st").
- Generate the release version with "make dist".
+ Generate the release version with "make distcheck".
6) Test the release version on different machines, with --enable-assert
set to yes, no (default), none and full respectively, with and