diff options
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 6620c767b..005e07cc2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -77,7 +77,8 @@ libmpfr_la_LIBADD = @LIBOBJS@ # 2.3.x 2:x:1 # 2.4.x 3:x:2 # 3.0.x 4:x:0 -libmpfr_la_LDFLAGS = -version-info 4:0:0 +# 3.1.x 4:x:1 +libmpfr_la_LDFLAGS = -version-info 4:0:1 info_TEXINFOS = mpfr.texi |