From 708abf1e4ad83ca8be49502b3bfbfe8f27492f6d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20G=C3=BCnther?= Date: Fri, 1 Sep 2023 13:00:51 +0200 Subject: [PATCH] debian: Fix nodoc build Don't try to install the dev docs in that case. --- debian/libfeedback-dev.docs | 1 + debian/libfeedback-dev.install | 1 - debian/rules | 11 +++++++++++ 3 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 debian/libfeedback-dev.docs diff --git a/debian/libfeedback-dev.docs b/debian/libfeedback-dev.docs new file mode 100644 index 0000000..8f7fc3b --- /dev/null +++ b/debian/libfeedback-dev.docs @@ -0,0 +1 @@ +usr/share/doc/libfeedback-dev/libfeedback-0/ diff --git a/debian/libfeedback-dev.install b/debian/libfeedback-dev.install index e07f1b2..4a59b17 100644 --- a/debian/libfeedback-dev.install +++ b/debian/libfeedback-dev.install @@ -1,6 +1,5 @@ /usr/include /usr/share/gir-1.0/ -/usr/share/doc/libfeedback-0 /usr/share/doc/libfeedback-dev/ /usr/share/vala/ /usr/lib/*/libfeedback-*.so /usr/lib/*/pkgconfig/libfeedback-*.pc diff --git a/debian/rules b/debian/rules index e32ed5b..6c773f0 100755 --- a/debian/rules +++ b/debian/rules @@ -10,9 +10,20 @@ ifeq (,$(filter nodoc,$(DEB_BUILD_PROFILES))) CONFIGURE_OPTS += -Dgtk_doc=true -Dman=true endif +COMMON_PKG=feedbackd-common + +docroot := $(CURDIR)/debian/tmp/usr/share/doc/ + %: dh $@ --builddirectory=_build +override_dh_installdocs: +ifeq ($(filter nodoc,$(DEB_BUILD_PROFILES)),) + mkdir -p $(docroot)/libfeedback-dev/libfeedback-0 + mv $(docroot)/libfeedback-0 $(docroot)/libfeedback-dev/ +endif + dh_installdocs + override_dh_auto_configure: dh_auto_configure -- $(CONFIGURE_OPTS)