From cfa2a2b72cd127c1d348696066126d0596066d8e Mon Sep 17 00:00:00 2001 From: Master Yoda Date: Sun, 23 Sep 2018 10:40:57 -0700 Subject: [PATCH] Fix gh-pages deployment --- .nojekyll | 0 admin/docbot | 2 +- user_guide_src/source/.nojekyll | 0 user_guide_src/source/general/filters.rst | 1 + 4 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 .nojekyll create mode 100644 user_guide_src/source/.nojekyll diff --git a/.nojekyll b/.nojekyll new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/admin/docbot b/admin/docbot index ee811c865db2..d1734f441e71 100755 --- a/admin/docbot +++ b/admin/docbot @@ -13,7 +13,7 @@ mkdir build/html cd build/html git init git remote add origin $UPSTREAM -git fetch origin gh-pages +git fetch git checkout gh-pages git reset --hard origin/gh-pages rm -r * diff --git a/user_guide_src/source/.nojekyll b/user_guide_src/source/.nojekyll new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/user_guide_src/source/general/filters.rst b/user_guide_src/source/general/filters.rst index 79aa5bc1fbdf..7f8db37e3ee4 100644 --- a/user_guide_src/source/general/filters.rst +++ b/user_guide_src/source/general/filters.rst @@ -177,6 +177,7 @@ a list of URI patterns that filter should apply to:: 'bar' => ['before' => ['api/*', 'admin/*']] ]; +**************** Provided Filters ****************