| commit | e4cd9d0c51faa5b572816a83e6262f3654cf713f | [log] [tgz] |
|---|---|---|
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | Sat Sep 05 11:08:06 2020 +0200 |
| committer | Tom Rini <trini@konsulko.com> | Sat Sep 12 10:53:01 2020 -0400 |
| tree | 1bcdcfec743ab4082f03a6d8c59dfd3da7c74b2b | |
| parent | 16327a2671a449468b1ff537747a66a9774e295f [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>