diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/watch | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/watch b/debian/watch new file mode 100644 index 0000000..7189039 --- /dev/null +++ b/debian/watch @@ -0,0 +1,8 @@ +version=4 + +opts="mode=git, \ + compression=gz, \ + pgpmode=none, \ + uversionmangle=s/(\d)[_\.\-\+]?((RC|rc|a|b|c|pre|dev|beta|alpha)\.?\d*)$/$1~$2/" \ +https://github.com/pallets/pallets-sphinx-themes.git \ + refs/tags/@ANY_VERSION@ |