simpler Documentation/user/ clean

diff --git a/Documentation/user/GNUmakefile b/Documentation/user/GNUmakefile
index e950f2cbf32be75e014b3aecce3f210355eec5c3..997476264700853b77981595bc5da1307cdee7dc 100644 (file)
--- a/Documentation/user/GNUmakefile
+++ b/Documentation/user/GNUmakefile
@@ -274,6 +274,6 @@ $(outdir)/interfaces.itexi: dummy
 
 local-clean: local-delete
 
+# use `find` together with `xargs` to avoid too long argument-lists.
 local-delete:
-       find $(outdir)/ -name 'lily-[0-9a-f]*' | xargs rm -f
-       -rm -f $(outdir)/*
+       $(FIND) $(outdir)/ -empty -name '*' | xargs rm -f