# HG changeset patch
# User John Donoghue <john.donoghue@ieee.org>
# Date 1669120496 18000
# Node ID 88394d81a647275a86af3f085f11c49d85b54cae
# Parent  ff8c281debae4cf64c6e3773dd24bfd2d9121c84
* src/mpfr.mk: fix update rule

diff -r ff8c281debae -r 88394d81a647 src/mpfr.mk
--- a/src/mpfr.mk	Sun Nov 20 15:04:15 2022 +0100
+++ b/src/mpfr.mk	Tue Nov 22 07:34:56 2022 -0500
@@ -13,7 +13,7 @@
 
 define $(PKG)_UPDATE
     $(WGET) -q -O- 'https://www.mpfr.org/mpfr-current/' | \
-    $(SED) -n 's,.*tags/\([0-9][^/]*\).*,\1,p' |
+    $(SED) -n 's,<title>.*version \([0-9][^<]*\).*,\1,p' | \
     $(SORT) -V | \
     tail -1
 endef