HTML documentation is generated in doc/output/. This directory shall be deleted by 'make mrproper'
Signed-off-by: Heinrich Schuchardt xypron.glpk@gmx.de --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile index 5dd4c6bd40..eb6c47ef00 100644 --- a/Makefile +++ b/Makefile @@ -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 -- 2.28.0