debian: Fix nodoc build

Don't try to install the dev docs in that case.
2023-09-01 13:06:08 +02:00
parent b20f08c030
commit 708abf1e4a
3 changed files with 12 additions and 1 deletions
@@ -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