diff options
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2020-09-05 11:08:06 +0200 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2020-09-12 10:53:01 -0400 |
| commit | 9a97314b5bb815151b48b867455ee428fa394902 (patch) | |
| tree | 1bcdcfec743ab4082f03a6d8c59dfd3da7c74b2b /Makefile | |
| parent | 70e38eea3ada86874934ae5746f93dc793f75447 (diff) | |
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>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2025,7 +2025,7 @@ CLEAN_FILES += include/bmp_logo.h include/bmp_logo_data.h tools/version.h \ # Directories & files removed with 'make mrproper' MRPROPER_DIRS += include/config include/generated spl tpl \ - .tmp_objdiff + .tmp_objdiff doc/output MRPROPER_FILES += .config .config.old include/autoconf.mk* include/config.h \ ctags etags tags TAGS cscope* GPATH GTAGS GRTAGS GSYMS \ drivers/video/fonts/*.S |