]> git.baikalelectronics.ru Git - uboot.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)
commitd61fd0a5b0ce939f622cf0890a86c480b7d60144
tree1bcdcfec743ab4082f03a6d8c59dfd3da7c74b2b
parenta05b15ae2bd5d0cd03e29aea0212f35796de6882
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