Re: [PATCH] Makefile: mrproper shall delete doc/output/

2020-09-14 Thread Tom Rini
On Sat, Sep 05, 2020 at 11:08:06AM +0200, Heinrich Schuchardt wrote: > HTML documentation is generated in doc/output/. This directory shall be > deleted by 'make mrproper' > > Signed-off-by: Heinrich Schuchardt > Reviewed-by: Simon Glass Applied to u-boot/master, thanks! -- Tom signature.a

Re: [PATCH] Makefile: mrproper shall delete doc/output/

2020-09-06 Thread Simon Glass
On Sat, 5 Sep 2020 at 03:13, Heinrich Schuchardt wrote: > > HTML documentation is generated in doc/output/. This directory shall be > deleted by 'make mrproper' > > Signed-off-by: Heinrich Schuchardt > --- > Makefile | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) Reviewed-by: Simon Gla

[PATCH] Makefile: mrproper shall delete doc/output/

2020-09-05 Thread Heinrich Schuchardt
HTML documentation is generated in doc/output/. This directory shall be deleted by 'make mrproper' Signed-off-by: Heinrich Schuchardt --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5dd4c6bd40..eb6c47ef00 100644 --- a/Makefile +++ b/Make