diff options
| author | nicoo <nicoo@debian.org> | 2020-02-12 14:30:45 +0100 |
|---|---|---|
| committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2020-02-12 14:30:45 +0100 |
| commit | 997ddf1342d9b1d5ee9c2deaf8be20fc7306d46c (patch) | |
| tree | bc82ad9ee6262ac2405c4ed531cd5b0f5b3d020a | |
| parent | 2160396ce196f0e0bef19a711fc586453b8f88e7 (diff) | |
fixup! libfido2-dev: sync documentation manifest
| -rw-r--r-- | debian/fido2-tools.install | 2 | ||||
| -rw-r--r-- | debian/libfido2-dev.install | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/fido2-tools.install b/debian/fido2-tools.install index ba8bc49..e3ad175 100644 --- a/debian/fido2-tools.install +++ b/debian/fido2-tools.install | |||
| @@ -1,2 +1,2 @@ | |||
| 1 | usr/bin | 1 | usr/bin |
| 2 | usr/share/man/*.1.gz | 2 | usr/share/man/man1/* |
diff --git a/debian/libfido2-dev.install b/debian/libfido2-dev.install index 7682212..caf0cc2 100644 --- a/debian/libfido2-dev.install +++ b/debian/libfido2-dev.install | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | usr/include | 1 | usr/include |
| 2 | usr/lib/*/*.so | 2 | usr/lib/*/*.so |
| 3 | usr/lib/*/pkgconfig/*.pc | 3 | usr/lib/*/pkgconfig/*.pc |
| 4 | usr/share/man/man3/*.3.gz | 4 | usr/share/man/man3/* |
| 5 | 5 | ||
| 6 | usr/share/doc/libfido2/*.html | 6 | usr/share/doc/libfido2/*.html |
| 7 | usr/share/doc/libfido2/style.css | 7 | usr/share/doc/libfido2/style.css |