Fix debian/watch so that refman is not reported as a new version

diff --git a/debian/watch b/debian/watch
index d226626137fbfc8b55b57d9c8ac0f384579158c8..3b0c520cbfbf943a1233e7adfc29c2d53f39581e 100644 (file)
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
 version=3
 opts=uversionmangle=s/\+/~/ \
-http://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-(.+)\.tar\.gz
+http://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.gz