diff options
| author | Gergely Nagy <algernon@balabit.hu> | 2012-03-23 11:14:08 +0100 |
|---|---|---|
| committer | Gergely Nagy <algernon@balabit.hu> | 2012-03-23 11:14:08 +0100 |
| commit | 3b5e136dd6785890f1c8e178cea50bc95dffe660 (patch) | |
| tree | 5e8dd3fde345d875fcfa278cdecd3a7488ea0eba /debian/libumberlog-dev.install | |
| parent | 2dc3ab0af3e63f612c1ad16f8b7f51fd5ffad15e (diff) | |
debian: Build the manual page, too.
The upstream build system does not build the manual page, so build and
install it ourselves.
Signed-off-by: Gergely Nagy <algernon@balabit.hu>
Diffstat (limited to 'debian/libumberlog-dev.install')
| -rw-r--r-- | debian/libumberlog-dev.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/libumberlog-dev.install b/debian/libumberlog-dev.install index 7df81cd..3450a6a 100644 --- a/debian/libumberlog-dev.install +++ b/debian/libumberlog-dev.install @@ -1,3 +1,4 @@ usr/include/* usr/lib/*/lib*.so usr/lib/*/pkgconfig/* +usr/share/man/man*/* |