[Gmp-commit] /var/hg/gmp: Remove @refill from doc

[mercurial at gmplib.org]

details:   /var/hg/gmp/rev/787855d61266
changeset: 18436:787855d61266
user:      Marc Glisse <marc.glisse at inria.fr>
date:      Sat Aug 19 23:16:07 2023 +0200
description:
Remove @refill from doc

diffstat:

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

diffs (43 lines):

diff -r 59d9a8971b76 -r 787855d61266 ChangeLog
--- a/ChangeLog	Sat Aug 19 23:11:03 2023 +0200
+++ b/ChangeLog	Sat Aug 19 23:16:07 2023 +0200
@@ -1,6 +1,6 @@
 2023-08-19  Marc Glisse  <marc.glisse at inria.fr>
 
-	* doc/gmp.texi: Rename IEEE P754.
+	* doc/gmp.texi: Rename IEEE P754. Remove @refill.
 
 2023-07-31  Torbjörn Granlund  <tg at gmplib.org>
 
diff -r 59d9a8971b76 -r 787855d61266 doc/gmp.texi
--- a/doc/gmp.texi	Sat Aug 19 23:11:03 2023 +0200
+++ b/doc/gmp.texi	Sat Aug 19 23:16:07 2023 +0200
@@ -444,24 +444,24 @@
 these restrictions are designed to permit everything that a good cooperating
 citizen would want to do.  What is not allowed is to try to prevent others
 from further sharing any version of this library that they might get from
-you. at refill
+you.
 
 Specifically, we want to make sure that you have the right to give away copies
 of the library, that you receive source code or else can get it if you want
 it, that you can change this library or use pieces of it in new free programs,
-and that you know you can do these things. at refill
+and that you know you can do these things.
 
 To make sure that everyone has such rights, we have to forbid you to deprive
 anyone else of these rights.  For example, if you distribute copies of the GNU
 MP library, you must give the recipients all the rights that you have.  You
 must make sure that they, too, receive or can get the source code.  And you
-must tell them their rights. at refill
+must tell them their rights.
 
 Also, for our own protection, we must make certain that everyone finds out
 that there is no warranty for the GNU MP library.  If it is modified by
 someone else and passed on, we want their recipients to know that what they
 have is not what we distributed, so that any problems introduced by others
-will not reflect on our reputation. at refill
+will not reflect on our reputation.
 
 More precisely, the GNU MP library is dual licensed, under the conditions of
 the GNU Lesser General Public License version 3 (see