[ Makefile ] file permissions

Author: bobatkey

Makefile

@@ -28,7 +28,7 @@ slides: $(SITE)
 	make -C slides -j 8 all
 	for w in 1 2 3 4 5 6 7 8 9 10; do \
 	  outfile=$$(printf "week%02d-slides.pdf" $$w); \
-	  cp slides/week$$w.pdf $(SITE)/$$outfile; \
+	  $(INSTALL) -T slides/week$$w.pdf $(SITE)/$$outfile; \
 	done
 
 html-pages: $(SITE)