diff options
| author | Fritz Elfert <felfert@to.com> | 2002-07-15 03:30:48 +0000 |
|---|---|---|
| committer | Fritz Elfert <felfert@to.com> | 2002-07-15 03:30:48 +0000 |
| commit | 744e0f1593923edd0e6a6a75c0eb19c2943cfade (patch) | |
| tree | 2d9ab86208d2616b1a3714e25286b867b615359d /debian/plptools.files | |
| parent | fadb0328b4f02abd5d404fc7310221e97e61ffaa (diff) | |
| download | plptools-744e0f1593923edd0e6a6a75c0eb19c2943cfade.tar.gz plptools-744e0f1593923edd0e6a6a75c0eb19c2943cfade.tar.bz2 plptools-744e0f1593923edd0e6a6a75c0eb19c2943cfade.zip | |
- Ongoing dpkg development
Diffstat (limited to 'debian/plptools.files')
| -rw-r--r-- | debian/plptools.files | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/plptools.files b/debian/plptools.files index 121f2ee..637c5e9 100644 --- a/debian/plptools.files +++ b/debian/plptools.files @@ -5,6 +5,8 @@ usr/bin/sisinstall usr/lib/libplp.la usr/lib/libplp.so.* usr/share/locale/*/LC_MESSAGES/plptools.mo -usr/share/man +usr/share/man/man8 +usr/share/man/man1/plp*.1 +usr/share/man/man1/sis*.1 usr/share/plptools etc/plptools.conf |