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/changelog | |
parent | ff3e76a81cb8a36a9a71208583637d615b32a7ba (diff) |
Install docs in -dev's doc directory
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index a8ebaf28..63e636b0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -9,8 +9,9 @@ gudhi (3.5.0+dfsg-1) UNRELEASED; urgency=medium * Update copyright ranges. * Remove some files from files-excluded as they have been dropped upstream. + * Move HTML documentation to libgudhi-dev's doc directory. - -- Gard Spreemann <gspr@nonempty.org> Fri, 14 Jan 2022 09:51:42 +0100 + -- Gard Spreemann <gspr@nonempty.org> Fri, 14 Jan 2022 12:51:02 +0100 gudhi (3.4.1+dfsg-3) unstable; urgency=medium |