[Buildroot] [PATCH 02/23 v5] gendoc infra: move manual build location into $(BUILD_DIR)/manual

Thomas Petazzoni thomas.petazzoni at free-electrons.com
Sun Sep 21 19:13:35 UTC 2014


Dear Yann E. MORIN,

On Sun, 14 Sep 2014 13:07:36 +0200, Yann E. MORIN wrote:

> diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk
> index 136f725..e86f872 100644
> --- a/docs/manual/manual.mk
> +++ b/docs/manual/manual.mk
> @@ -1,11 +1,20 @@
> +$(BUILD_DIR)/$(pkgname):
> +	$(Q)mkdir -p $@

Shouldn't we do things in $(BUILD_DIR)/docs/$(pkgname) instead? Even
though it's unlikely, I'm a bit worried about conflicting names between
real packages and documentations.

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com


More information about the buildroot mailing list