diff options
| author | Paul Gevers <elbrus@debian.org> | 2017-07-17 13:58:40 +0200 |
|---|---|---|
| committer | Paul Gevers <elbrus@debian.org> | 2017-12-10 07:39:43 +0100 |
| commit | fc3e2043bc0005f40c9c5d6ea0a762594a316bf4 (patch) | |
| tree | 7106dcb8fbe65311347efa17829b7f002cb68541 /debian/watch | |
| parent | 45dffc707b4bb8b12446006e00c254667f7cea58 (diff) | |
Add d/watch
Diffstat (limited to 'debian/watch')
| -rw-r--r-- | debian/watch | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/watch b/debian/watch new file mode 100644 index 0000000..6304b94 --- /dev/null +++ b/debian/watch @@ -0,0 +1,4 @@ +version=4 +# Note that a "new" version doesn't seem to imply new content. +opts="filenamemangle=s#.*/festival/@ANY_VERSION@/voices/festvox_rablpc16k#@PACKAGE@_$1#" \ + http://festvox.org/packed/festival/@ANY_VERSION@/voices/ festvox_rablpc16k@ARCHIVE_EXT@ |