From 20aa21e92f829f11fa4862a84c9097cd1c0f95e5 Mon Sep 17 00:00:00 2001
From: Dan Vanderkam <danvdk@gmail.com>
Date: Sun, 14 Apr 2013 23:02:10 -0400
Subject: [PATCH] copy extras directory to web

---
 push-to-web.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/push-to-web.sh b/push-to-web.sh
index 00448c3..2e6bfc3 100755
--- a/push-to-web.sh
+++ b/push-to-web.sh
@@ -24,7 +24,7 @@ if [ -s docs/options.html ] ; then
   find . -path ./.git -prune -o -print | xargs chmod a+rX
 
   # Copy everything to the site.
-  rsync -avzr gallery strftime rgbcolor common tests jsdoc experimental plugins $site \
+  rsync -avzr gallery strftime rgbcolor common tests jsdoc experimental plugins extras $site \
   && \
   rsync -avzr dashed-canvas.js stacktrace.js dygraph*.js gadget.xml excanvas.js thumbnail.png screenshot.png docs/* $site/
 else
-- 
2.7.4