diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-07-05 02:52:25 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-11-07 20:54:20 +0100 |
| commit | 7b3917b7ecb84addccd08e7710bb28fe12089ce4 (patch) | |
| tree | 0575a93c8fd9f3d97734f02ef74d3e4ce9a165c2 /debian/pullimap.manpages | |
| parent | e74c4704a69973defec73435a4f7de39ee7e84b3 (diff) | |
Paths to generated manpages.
They were at the root before, now they're in ./doc.
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 4d13657..0d791aa 100644 --- a/debian/pullimap.manpages +++ b/debian/pullimap.manpages @@ -1 +1 @@ -pullimap.1 +doc/pullimap.1 |