Merge remote-tracking branch 'otherrepo-1447356644/master' into update-1447356650

Hubot · Hubot · commit fafe7dfd607a · 2015-11-12T11:30:50.000-08:00
diff --git a/Rakefile b/Rakefile
@@ -56,6 +56,7 @@ task :publish, [:no_commit_msg] => [:remove_tmp_dir, :remove_output_dir, :compil
 
   Dir.mktmpdir do |tmp|
     system "mv output/* #{tmp}"
+    system "cp .gitignore #{tmp}"
     system 'git checkout gh-pages'
     system "rsync -av #{tmp}/ ."
     system 'git add .'
