diff options
author | Paul Gevers <elbrus@debian.org> | 2017-12-13 20:42:25 +0100 |
---|---|---|
committer | Paul Gevers <elbrus@debian.org> | 2017-12-17 20:36:38 +0100 |
commit | e3dffdfe4252da1829fe1f0a33956dd38d9f9c4f (patch) | |
tree | 0af9765a1aa0001d4d89e32a20eba2270419f6c2 | |
parent | f4cf83a6c9a4d4b4662110b55f64339cded84495 (diff) |
Add (non working) watch file
-rw-r--r-- | debian/watch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/debian/watch b/debian/watch new file mode 100644 index 0000000..0f3f7f7 --- /dev/null +++ b/debian/watch @@ -0,0 +1,9 @@ +# Since version 1.95 newer version of festival have not shipped this voice anymore +# so there is nothing to watch +# Also note that a "new" version doesn't seem to imply new content. +# Also note that this watch file doesn't work until bug 841499 is fixed +version=4 +opts="filenamemangle=s#.*/festival/@ANY_VERSION@/festvox_ellpc11k#@PACKAGE@_$1#" \ + http://festvox.org/packed/festival/@ANY_VERSION@/ festvox_ellpc11k@ARCHIVE_EXT@ +opts="filenamemangle=s#.*/festival/@ANY_VERSION@/voices/festvox_ellpc11k#@PACKAGE@_$1#" \ + http://festvox.org/packed/festival/@ANY_VERSION@/voices/ festvox_ellpc11k@ARCHIVE_EXT@ |