summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-12-19 02:32:33 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-12-19 02:32:33 +0000
commitb4eb98a18379e1ebeddf448ecb4ff31ef9b58545 (patch)
tree52d1da13ce11146b41810c2f8b402be6e62dda0e
parent1061f1bcc81b74658ed582fdba4f10cd02425421 (diff)
downloadmpfr-b4eb98a18379e1ebeddf448ecb4ff31ef9b58545.tar.gz
[doc/mpfr.texi] Updated a comment.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12010 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--doc/mpfr.texi2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/mpfr.texi b/doc/mpfr.texi
index 2963cd7e1..703a5727b 100644
--- a/doc/mpfr.texi
+++ b/doc/mpfr.texi
@@ -107,6 +107,8 @@ floating-point arithmetic, version @value{VERSION}.
@c error "@scriptfont 5 is undefined". See thread at
@c http://lists.gnu.org/archive/html/bug-texinfo/2017-11/msg00019.html
@c http://lists.gnu.org/archive/html/bug-texinfo/2017-12/msg00001.html
+@c (unfortunately the antispam there garbles important Texinfo code).
+@c
@c Use the @svar macro, defined below, instead. It currently disables
@c the use of @var, with the consequence that this appears in italic
@c instead of slanted. Alternatively, the following could be used for