diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-04-14 00:54:17 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-04-14 00:54:17 -0400 |
| commit | b0bbfffa9da2bda37baa0727b2d281e0d25a82ee (patch) | |
| tree | bc38a3c45e19152e9f6d20b854d86cae49935f0e /debian | |
| parent | a1be66021da600e020b1b88bf3869cb399fc861d (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/watch | 2 |
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 |