Update watch file to reflect new hosting location

(thanks to authors of https://wiki.debian.org/debian/watch !)

diff --git a/debian/watch b/debian/watch
index 8ae8d616c6451edff958581c737698680fcf09fd..bca5333aff46b346c3f25a5f89694d79898c6fc9 100644 (file)
--- a/debian/watch
+++ b/debian/watch
@@ -1,2 +1,3 @@
-version=3
-https://ftp.pcre.org/pub/pcre/pcre2-([\d\.]+)\.zip
+version=4
+opts=filenamemangle=s/.+\/v?(\d\S+)\.tar\.gz/<project>-$1\.tar\.gz/ \
+  https://github.com/PhilipHazel/pcre2/releases .*/?(\d{2}\.\d{2})\.tar\.gz