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 ****************