From e1a09743131b3d0ee7eac5f7c60c0ffac34d4417 Mon Sep 17 00:00:00 2001 From: Fabian Mastenbroek Date: Mon, 3 May 2021 10:25:11 +0200 Subject: [PATCH] Include documentation scripts in header package This change adds the documentation scripts located in Documentation of the Linux source root to the header package, as they are necessary for some modules to build. --- debian/rules | 1 - 1 file changed, 1 deletion(-) diff --git a/debian/rules b/debian/rules index a273904..132a3cd 100755 --- a/debian/rules +++ b/debian/rules @@ -173,7 +173,6 @@ debian/${PVE_HEADER_PKG}.%: debian/templates/pve-headers.%.in cd ${KERNEL_SRC}; \ find . -path './debian/*' -prune \ -o -path './include/*' -prune \ - -o -path './Documentation' -prune \ -o -path './scripts' -prune \ -o -type f \ \( \