diff options
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 2240a6a2..4d9a4ec7 100644 --- a/debian/changelog +++ b/debian/changelog @@ -10,8 +10,9 @@ gudhi (3.5.0+dfsg-1) unstable; urgency=medium * Remove some files from files-excluded as they have been dropped upstream. * Move HTML documentation to libgudhi-dev's doc directory. + * Add patch to avoid building Doxygen docs from source root. - -- Gard Spreemann <gspr@nonempty.org> Fri, 14 Jan 2022 12:51:02 +0100 + -- Gard Spreemann <gspr@nonempty.org> Fri, 14 Jan 2022 19:28:42 +0100 gudhi (3.4.1+dfsg-3) unstable; urgency=medium |