diff options
| author | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-10-29 14:22:32 -0400 |
|---|---|---|
| committer | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-10-29 14:22:32 -0400 |
| commit | 150008da442a4a95672356c2148884223dea68d7 (patch) | |
| tree | c6b8c0631f024a1e586941ddead2df61135fc7a4 /debian | |
| parent | 6ed72efb63d7111acc7fb1f2e4f28757ad485b77 (diff) | |
fix small bug in the packaging about man7 directory installation.
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/monkeysphere.dirs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/monkeysphere.dirs b/debian/monkeysphere.dirs index cfafe15..1f9e66b 100644 --- a/debian/monkeysphere.dirs +++ b/debian/monkeysphere.dirs @@ -7,6 +7,6 @@ usr/share usr/share/monkeysphere usr/share/man usr/share/man/man1 -usr/share/man/man5 +usr/share/man/man7 usr/share/man/man8 etc/monkeysphere |