strip all lily-XXXX PDF files.

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 15371c050659b8227222bda18f4f6f0949b01c8c..903751fd18763761a4274574d3e399e839575f37 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -93,7 +93,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