diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2017-02-09 23:40:04 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2017-02-09 23:40:04 +0100 |
commit | 9f6e9a51c2fba32ea2373aee7e2879c22bb8a0e5 (patch) | |
tree | c24d7e4d71f642292fc2d40202a23dd9c44cd1d4 /debian/libgudhi-doc.install | |
parent | cb10b2712269194fe151a48a88ed607732945ad2 (diff) |
Build documentation package libgudhi-doc.
Diffstat (limited to 'debian/libgudhi-doc.install')
-rw-r--r-- | debian/libgudhi-doc.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/libgudhi-doc.install b/debian/libgudhi-doc.install new file mode 100644 index 00000000..e3362a5f --- /dev/null +++ b/debian/libgudhi-doc.install @@ -0,0 +1 @@ +doc/html/* usr/share/doc/libgudhi/html/
\ No newline at end of file |