diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2020-07-01 23:27:09 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2020-07-02 00:15:54 +0200 |
| commit | 1a7affa604e940c7ba38c1a11e6868c4482bb170 (patch) | |
| tree | 33d8931d2ee90a9d00b8af33545e8da41951a7e2 /debian/pullimap.manpages | |
| parent | 37a124c7180dfc83c71d872a3b7108818fc572b6 (diff) | |
Adapt d/*.docs, d/*.install and d/*.manpages to the current upstream Makefile.
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 0d791aa..c620789 100644 --- a/debian/pullimap.manpages +++ b/debian/pullimap.manpages @@ -1 +1 @@ -doc/pullimap.1 +share/man/man1/pullimap.1 |