commit 8f56ffa76c5443d23499ef1d2f73e6fa2c9b199a
parent 745f99f2195607d696c40cf4a7778384aadad894
Author: Georges Dupéron <georges.duperon@gmail.com>
Date: Mon, 8 Aug 2016 02:06:26 +0200
Remove files in the right order so that .gitignore is taken into account
Diffstat:
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -11,7 +11,8 @@ script:
- git config --global user.name "Travis CI"
- git config --global user.email "travis@nobody.com"
- git add -A . &> /dev/null
-- git rm -f .gitignore Gruntfile.js
+- git rm -f .gitignore || true
+- git rm -f Gruntfile.js || true
- git commit -m "auto-commit" &>/dev/null
- git log --oneline --decorate --graph -10
- git push --force --quiet "https://${GH_TOKEN}@github.com/jsmaniac/scribble-mathjax.git" HEAD:refs/heads/v2.6-racket-mini
diff --git a/Gruntfile.js b/Gruntfile.js
@@ -306,7 +306,7 @@ module.exports = function(grunt) {
"images" // these are used in the menu. Removing them will give you 404 errors but nothing will break.
],
notcode: [
- ".gitignore",
+ //".gitignore",
"docs",
"test",
"CONTRIBUTING.md",