delete all lily-XXX snippets.

diff --git a/Documentation/user/GNUmakefile b/Documentation/user/GNUmakefile
index 03f132c43c7cf881871f73f6a0c08c8540b4cced..e950f2cbf32be75e014b3aecce3f210355eec5c3 100644 (file)
--- a/Documentation/user/GNUmakefile
+++ b/Documentation/user/GNUmakefile
@@ -275,5 +275,5 @@ $(outdir)/interfaces.itexi: dummy
 local-clean: local-delete
 
 local-delete:
-       find $(outdir)/ -name 'lily-[0-9]*' | xargs rm -f
+       find $(outdir)/ -name 'lily-[0-9a-f]*' | xargs rm -f
        -rm -f $(outdir)/*