(process_music): idem.

[lilypond.git] / GNUmakefile.in

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 8052ff25931239ed0889b9200226f68f7497cd10..8cb53003b675e3c811327977e9d9a4e291baee0c 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -83,6 +83,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' \
                > $(outdir)/weblist
        ls $(outdir)/*.html >> $(outdir)/weblist