gnu: mpfi: Use @acronym{} in Texinfo.

* gnu/packages/multiprecision.scm (mpfi)[description]: Substitute
@acronym{} for @dfn{}.
This commit is contained in:
Tobias Geerinckx-Rice 2019-08-03 03:30:34 +02:00
parent aaf80ba781
commit ded545d562
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 4 additions and 4 deletions

View File

@ -149,11 +149,11 @@ precision and correctly rounds the results.")
("mpfr" ,mpfr))) ("mpfr" ,mpfr)))
(synopsis "C library for arbitrary-precision interval arithmetic") (synopsis "C library for arbitrary-precision interval arithmetic")
(description (description
"@dfn{MPFI} (Multiple Precision Floating-point Interval) is a portable C "@acronym{MPFI, Multiple Precision Floating-point Interval} is a portable C
library for arbitrary-precision interval arithmetic, with intervals represented library for arbitrary-precision interval arithmetic, with intervals represented
using MPFR reliable floating-point numbers. It's based on the @dfn{GMP} (GNU using MPFR reliable floating-point numbers. It's based on the @acronym{GMP, GNU
Multiple Precision Arithmetic) and GNU@tie{}@dfn{MPFR} (Multiple Precision Multiple Precision Arithmetic} and GNU@tie{}@acronym{MPFR, Multiple Precision
Floating-Point Reliably) libraries. Floating-Point Reliably} libraries.
The purpose of arbitrary-precision interval arithmetic is to get results that The purpose of arbitrary-precision interval arithmetic is to get results that
are both guaranteed, thanks to interval computation, and accurate, thanks to are both guaranteed, thanks to interval computation, and accurate, thanks to