diff --git a/Makefile b/Makefile index b798f723c82565a4792620519c989eab0b2fa253..f4b153c17e2bb3bb11999874f898de6d497b49fc 100644 --- a/Makefile +++ b/Makefile @@ -141,7 +141,7 @@ clean: FORCE dirclean: clean rm -rf staging_dir_* toolchain_build_* tool_build -distclean: dirclean config-clean symlinkclean docclean +distclean: dirclean config-clean symlinkclean docs/clean rm -rf dl help: