aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Foley <[email protected]>2014-09-25 11:23:58 -0700
committerJiri Kosina <[email protected]>2014-09-26 11:03:01 +0200
commit8e2faea877eb24511c8e71b88e803e22c6bf235e (patch)
treefe1ced23e68de0abda8e2a8bbbe31a11bee708e2
parentdd42a0882a70f10e429b8306dec8aad40babe19c (diff)
Make Documenation depend on headers_install
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a192280a883d..994b77b51c45 100644
--- a/Makefile
+++ b/Makefile
@@ -1532,6 +1532,8 @@ endif
$(cmd_crmodverdir)
$(Q)$(MAKE) KBUILD_MODULES=$(if $(CONFIG_MODULES),1) \
$(build)=$(build-dir)
+# Make sure the latest headers are built for Documentation
+Documentation/: headers_install
%/: prepare scripts FORCE
$(cmd_crmodverdir)
$(Q)$(MAKE) KBUILD_MODULES=$(if $(CONFIG_MODULES),1) \