# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1478358361 0
# Node ID 614b91409c85dcac4760bd7d46f41c3c2d8dceeb
# Parent  51b75117ffd81c06f5e582e9227ba9d8391a1c44
Copy Bumper PDFs to website.

diff -r 51b75117ffd8 -r 614b91409c85 makeAll.sh
--- a/makeAll.sh	Sat Nov 05 10:46:45 2016 +0000
+++ b/makeAll.sh	Sat Nov 05 15:06:01 2016 +0000
@@ -57,4 +57,5 @@
 done
 if [ $# -gt 1 ]; then
     makeBumperBooke "$@"
+    cp Bumper*.pdf ./web
 fi