diff --git a/.gitignore b/.gitignore
index 631580c..0878dcd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 node_modules
+docs
 
 # Log files
 npm-debug.log*
diff --git a/tools/gh.release.sh b/tools/gh.release.sh
index e43d949..f4ce5ff 100755
--- a/tools/gh.release.sh
+++ b/tools/gh.release.sh
@@ -14,7 +14,7 @@ git checkout -b $RELEASE_BRANCH
 rm -rf "$GIT_ROOT/$BUILD_DIR"
 npm run build
 
-git add "$GIT_ROOT/$BUILD_DIR"
+git add -f "$GIT_ROOT/$BUILD_DIR"
 git commit -m "release: $CURRENT_TIMESTAMP"
 
 git push -f origin $RELEASE_BRANCH