Don't copy files that are already marked as downloads

diff --git a/Makefile b/Makefile
index cda65e1b598d0fbb9da5728b3aa605f039f648c2..869dae11635741d5df72ea8f595b953174f2bb20 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -66,9 +66,6 @@ html:
                rsync -a --delete doc/html/ ../releases ../../../../build/html/proj/eventxx/
        rsync -a --delete source/proj/mutt-nntp-debian/files/ build/html/proj/mutt-nntp-debian/files
        rsync -a --delete source/proj/sadba/files/ build/html/proj/sadba/files
                rsync -a --delete doc/html/ ../releases ../../../../build/html/proj/eventxx/
        rsync -a --delete source/proj/mutt-nntp-debian/files/ build/html/proj/mutt-nntp-debian/files
        rsync -a --delete source/proj/sadba/files/ build/html/proj/sadba/files

-       rsync -a source/proj/dgc/*.pdf build/html/proj/dgc/
-       rsync -a source/proj/dgc/*.bz2 build/html/proj/dgc/
-       rsync -a source/proj/dgc/*.png build/html/proj/dgc/

        rsync -a source/robots.txt build/html/
        @echo
        @echo "Build finished. The HTML pages are in build/html."
        rsync -a source/robots.txt build/html/
        @echo
        @echo "Build finished. The HTML pages are in build/html."