diff --git a/Makefile b/Makefile index f6d4fff3ab..27e580635f 100644 --- a/Makefile +++ b/Makefile @@ -190,6 +190,9 @@ doc: docclean: $(MAKE) -C docs/ clean +symlinkclean: + find package -type l | xargs rm -f + .SILENT: clean dirclean distclean config-clean download world FORCE: ; .PHONY: FORCE help