summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-04-14 00:54:17 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-04-14 00:54:17 -0400
commitb0bbfffa9da2bda37baa0727b2d281e0d25a82ee (patch)
treebc38a3c45e19152e9f6d20b854d86cae49935f0e /debian
parenta1be66021da600e020b1b88bf3869cb399fc861d (diff)
Correct debian/watch file to refer to home page
Ur/Web uses a frame-based site, which means the default debian/watch format doesn’t work. Instead, I specify the home page explicitly.
Diffstat (limited to 'debian')
-rw-r--r--debian/watch2
1 files changed, 1 insertions, 1 deletions
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