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>
Loading
Please register or sign in to comment