Commit b7cd3516 authored by Vincent Lefevre's avatar Vincent Lefevre
Browse files

mpfr.texi cleanup: removed the obsolete @refill command.

This command was needed in the past, but it now generates a warning
"@refill is obsolete" (as of Texinfo 6.8 - 2021-07-03).
It is no longer needed, as least since Texinfo 4.2:
parent a0c12e48
......@@ -232,28 +232,28 @@ domain; it is copyrighted and there are restrictions on its distribution, but
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
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.@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 MPFR 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.@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 MPFR 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.@refill
will not reflect on our reputation.
The precise conditions of the license for the GNU MPFR library are found in the
Lesser General Public License that accompanies the source code.
See the file COPYING.LESSER.@refill
See the file COPYING.LESSER.
@node Introduction to MPFR, Installing MPFR, Copying, Top
@comment node-name, next, previous, up
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment