From f33a21eea4f63f19f467abc23aa903db85dbae0b Mon Sep 17 00:00:00 2001 From: KrystalDelusion Date: Mon, 19 Dec 2022 10:10:34 +1300 Subject: [PATCH] Removed manual from make clean --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index 57fa6e3a4..2816c1946 100644 --- a/Makefile +++ b/Makefile @@ -979,7 +979,6 @@ docs: docs/source/cmd/abc.rst docs/gen_images docs/guidelines clean: rm -rf share rm -rf kernel/*.pyh - if test -d manual; then cd manual && sh clean.sh; fi rm -f $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS) $(EXTRA_OBJS) $(PY_WRAP_INCLUDES) $(PY_WRAPPER_FILE).cc rm -f kernel/version_*.o kernel/version_*.cc rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d