From 1b063544036a9e32717fea8e3fb1eeb03ab069aa Mon Sep 17 00:00:00 2001
From: Tim Neumann <timnn@google.com>
Date: Sun, 10 Jun 2018 19:44:49 +0200
Subject: [PATCH] Disable jekyll

---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index b2f018745db..87aff9295ab 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -17,6 +17,9 @@ script:
   - git fetch upstream
   - git reset upstream/gh-pages
   - touch .
+  # We don't use jekyll. Disable it so it doesn't assign special meaning to any
+  # of our files (e.g. ignoring directories with a leading '_').
+  - touch .nojekyll
   - git add -A .
   - git commit -m "Rebuild book at ${rev}"
   - git push -q upstream HEAD:gh-pages > /dev/null 2>&1