From f63da3b214653fa3a8fd00ca82744433e933e8fa Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Fri, 14 Jan 2022 11:35:20 +0100 Subject: Install docs in -dev's doc directory --- debian/changelog | 3 ++- debian/libgudhi-doc.install | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) (limited to 'debian') 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 Fri, 14 Jan 2022 09:51:42 +0100 + -- Gard Spreemann Fri, 14 Jan 2022 12:51:02 +0100 gudhi (3.4.1+dfsg-3) unstable; urgency=medium 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/ -- cgit v1.2.3