From 273cce37d51f8d174d8a0626b5bed1c3ff806b97 Mon Sep 17 00:00:00 2001 From: Leandro Lucarella Date: Tue, 5 Nov 2013 00:31:07 +0100 Subject: [PATCH] Don't copy files that are already marked as downloads --- Makefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Makefile b/Makefile index cda65e1..869dae1 100644 --- 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 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." -- 2.43.0