From b0bbfffa9da2bda37baa0727b2d281e0d25a82ee Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Tue, 14 Apr 2015 00:54:17 -0400
Subject: Correct debian/watch file to refer to home page
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Ur/Web uses a frame-based site, which means the default debian/watch
format doesn’t work.  Instead, I specify the home page explicitly.
---
 debian/watch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debian/watch')

diff --git a/debian/watch b/debian/watch
index 0f4a0aed..70157dab 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
 version=3
 opts=dversionmangle=s/\+dfsg-\d+$// \
-  http://impredicative.com/ur/urweb-(.+).tgz
+  http://impredicative.com/ur/main.html urweb-(.+).tgz
-- 
cgit v1.2.3