diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-09-08 10:07:03 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-09-08 10:07:03 +0000 |
commit | 2e23962c3ac946aee5c8a31d3a486088280fd861 (patch) | |
tree | 97d4104f25657e922623e38ce266ddea40ac20ce /doc/README.dev | |
parent | 6e6f1a2bab055306855367a3c1e4f5cb9cd9e88f (diff) | |
download | mpfr-2e23962c3ac946aee5c8a31d3a486088280fd861.tar.gz |
[doc/README.dev] "To make a release": Added a warning to check the
papersize of the generated dvi and ps files, which may be incorrect
(bug in texinfo(?) reported as Debian bug 874632).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11733 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc/README.dev')
-rw-r--r-- | doc/README.dev | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/README.dev b/doc/README.dev index a9b8d77f1..2c66d72e1 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -335,7 +335,9 @@ To make a release (for the MPFR team): 9) * For the release itself (not the release candidates): Create a web page for the MPFR release and add the documentation (for mpfr.html, use "makeinfo --html --no-split mpfr.texi" from - the doc directory). + the doc directory). WARNING! Make sure that the dvi and ps files + have an a4 papersize; there's a bug in texinfo(?): + https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=874632 Upload the tarballs and the signatures to the MPFR web server (via a svn working copy) and to InriaForge. Prepare the files for the GNU FTP site with the gnu-sigdir script |