diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2022-01-14 11:35:20 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2022-01-14 19:34:48 +0100 |
| commit | f63da3b214653fa3a8fd00ca82744433e933e8fa (patch) | |
| tree | 7e86302b2479816ad91b97c83ed900890032843c /debian/libgudhi-doc.install | |
| parent | ff3e76a81cb8a36a9a71208583637d615b32a7ba (diff) | |
Install docs in -dev's doc directory
Diffstat (limited to 'debian/libgudhi-doc.install')
| -rw-r--r-- | debian/libgudhi-doc.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/libgudhi-doc.install b/debian/libgudhi-doc.install index 10c33133..01b42af4 100644 --- a/debian/libgudhi-doc.install +++ b/debian/libgudhi-doc.install @@ -1 +1 @@ -build/userversion/doc/html/* usr/share/doc/libgudhi/html/ +build/userversion/html/* usr/share/doc/libgudhi-dev/html/ |