]> git.dujemihanovic.xyz Git - u-boot.git/commit
Makefile: mrproper shall delete doc/output/
authorHeinrich Schuchardt <xypron.glpk@gmx.de>
Sat, 5 Sep 2020 09:08:06 +0000 (11:08 +0200)
committerTom Rini <trini@konsulko.com>
Sat, 12 Sep 2020 14:53:01 +0000 (10:53 -0400)
commit9a97314b5bb815151b48b867455ee428fa394902
tree1bcdcfec743ab4082f03a6d8c59dfd3da7c74b2b
parent70e38eea3ada86874934ae5746f93dc793f75447
Makefile: mrproper shall delete doc/output/

HTML documentation is generated in doc/output/. This directory shall be
deleted by 'make mrproper'

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Reviewed-by: Simon Glass <sjg@chromium.org>
Makefile