strip all lily-XXXX PDF files.

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 85ce62d9847cf88fd2f759c2741da71d9e10bcda..2bae2f8df79c26463c6b4c4a1dc23e1ce25ef593 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -100,7 +100,7 @@ local-WWW-post:
 
        cd $(top-build-dir) && find Documentation input \
                $(web-ext:%=-path '*/out-www/*.%' -or) -type l \
-               | grep -v 'lily-[0-9].*.pdf' \
+               | grep -v 'lily-[0-9a-f][0-9a-f]*.pdf' \
                | grep -v '/fr/' \
                > $(outdir)/weblist
        ls $(outdir)/*.html >> $(outdir)/weblist