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-doc.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-doc.install')
-rw-r--r-- | debian/libfido2-doc.install | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/libfido2-doc.install b/debian/libfido2-doc.install new file mode 100644 index 0000000..b14e220 --- /dev/null +++ b/debian/libfido2-doc.install | |||
@@ -0,0 +1,3 @@ | |||
1 | usr/share/man/man3/* | ||
2 | usr/share/doc/libfido2/*.html | ||
3 | usr/share/doc/libfido2/style.css | ||