diff options
author | Guilhem Moulin <guilhem@debian.org> | 2022-02-27 16:55:46 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@debian.org> | 2022-02-27 16:55:46 +0100 |
commit | 3d11576d0f5f8eff3acce0b1dda8aa2d639217b0 (patch) | |
tree | e4ec099a1950b19fdeaae549a12c60b924cf4ea2 /debian/pullimap.manpages | |
parent | b2f0a4af2109b933ee56c095b49646f5a056bae3 (diff) |
d/rules: Adapt to upstream's Makefile refactoring.
Diffstat (limited to 'debian/pullimap.manpages')
-rw-r--r-- | debian/pullimap.manpages | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/pullimap.manpages b/debian/pullimap.manpages index c620789..ec52e4d 100644 --- a/debian/pullimap.manpages +++ b/debian/pullimap.manpages @@ -1 +1 @@ -share/man/man1/pullimap.1 +usr/share/man/man1/pullimap.1 |