diff options
| author | nicoo <nicoo@debian.org> | 2020-02-12 15:02:50 +0100 |
|---|---|---|
| committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2020-02-12 15:13:47 +0100 |
| commit | d878d7dbc68418cb198968d158c595aeb4db6a8c (patch) | |
| tree | d82e584ef57e93c0a187834afa39544c2d7b6445 /debian/libfido2-dev.install | |
| parent | df5c51e23ca0b4a0cad67ec461749c7ee8815a66 (diff) | |
Split documentation into libfido2-doc
It's unecessary to ship manpages and HTML in header files that
will mostly be used as a Build-Depends
Diffstat (limited to 'debian/libfido2-dev.install')
| -rw-r--r-- | debian/libfido2-dev.install | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/libfido2-dev.install b/debian/libfido2-dev.install index 0c475b1..c017a1d 100644 --- a/debian/libfido2-dev.install +++ b/debian/libfido2-dev.install | |||
| @@ -1,7 +1,3 @@ | |||
| 1 | usr/include | 1 | usr/include |
| 2 | usr/lib/*/libfido2*.so | 2 | usr/lib/*/libfido2*.so |
| 3 | usr/lib/*/pkgconfig/*.pc | 3 | usr/lib/*/pkgconfig/*.pc |
| 4 | usr/share/man/man3/* | ||
| 5 | |||
| 6 | usr/share/doc/libfido2/*.html | ||
| 7 | usr/share/doc/libfido2/style.css | ||