[Gmp-commit] /home/hgfiles/gmp: Remove duplicated word.

[mercurial at gmplib.org]

details:   /home/hgfiles/gmp/rev/cad9b7b03dcd
changeset: 13475:cad9b7b03dcd
user:      Marco Bodrato <bodrato at mail.dm.unipi.it>
date:      Wed Mar 10 07:58:51 2010 +0100
description:
Remove duplicated word.

diffstat:

 doc/gmp.texi |  2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diffs (12 lines):

diff -r b59c19bae17f -r cad9b7b03dcd doc/gmp.texi
--- a/doc/gmp.texi	Tue Mar 09 16:56:13 2010 +0100
+++ b/doc/gmp.texi	Wed Mar 10 07:58:51 2010 +0100
@@ -1789,7 +1789,7 @@
 
 will generate better contents for the @file{gmp-mparam.h} parameter file.
 
-To use the results, put the output in the file file indicated in the
+To use the results, put the output in the file indicated in the
 @samp{Parameters for ...} header.  Then recompile from scratch.
 
 The @code{tuneup} program takes one useful parameter, @samp{-f NNN}, which