From 2b86455839c0559e3c77074e220c3dd8339940b2 Mon Sep 17 00:00:00 2001
From: Enno Boland <gottox@voidlinux.eu>
Date: Tue, 5 Sep 2017 07:23:19 +0200
Subject: [PATCH] linux4.13: another buildfix.

---
 srcpkgs/linux4.13/template | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/srcpkgs/linux4.13/template b/srcpkgs/linux4.13/template
index 05f5392ec54..1005621c23d 100644
--- a/srcpkgs/linux4.13/template
+++ b/srcpkgs/linux4.13/template
@@ -37,6 +37,9 @@ mutable_files="
  /usr/lib/modules/${_kernver}/modules.devname"
 
 do_configure() {
+	# 4.13rc1 misses Documentation/DocBook. We ship the directory from 4.12 here.
+	cp -a $FILESDIR/DocBook -t Documentation
+
 	# If there's a file called <arch>-dotconfig, use it to
 	# configure the kernel; otherwise use arch defaults and all stuff
 	# as modules (defconfig+allmodconfig).