From cc52856cd92ba9737149976ee93dedf6c0fba482 Mon Sep 17 00:00:00 2001
From: Dmitri Akatov <akatov@gmail.com>
Date: Wed, 16 Oct 2013 05:34:05 +0100
Subject: [PATCH] in post-commit hook first remove all examples

---
 util/post-commit | 1 +
 1 file changed, 1 insertion(+)

diff --git a/util/post-commit b/util/post-commit
index 49ba8d4..2f0707f 100755
--- a/util/post-commit
+++ b/util/post-commit
@@ -84,6 +84,7 @@ def execute
       index_file.write index_footer
     end
     `git checkout gh-pages`
+    `git rm -r examples`
     ['index.html', 'examples'].each do |f|
       FileUtils.cp_r "#{temp}/#{f}", '.'
       `git add #{f}`