From 1ce5934ee36daf0a9c15c38a16a4253498031a91 Mon Sep 17 00:00:00 2001
From: Website Deployment Script <docusaurus-bot@users.noreply.github.com>
Date: Mon, 19 Mar 2018 21:57:21 +0000
Subject: [PATCH] Deploy website

Deploy website version based on dbb93567eef068e9a6857341e399017594fa61b1
---
 docs/en/publishing.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/en/publishing.html b/docs/en/publishing.html
index 5b4b80893c..05bc38b3bf 100644
--- a/docs/en/publishing.html
+++ b/docs/en/publishing.html
@@ -99,7 +99,7 @@
 <span class="hljs-attr">  build_and_deploy:</span>
 <span class="hljs-attr">    jobs:</span>
 <span class="hljs-bullet">      -</span> <span class="hljs-string">deploy-website</span>
-<span class="hljs-comment">#   filters: *filter-only-master   </span>
+<span class="hljs-comment">#       filters: *filter-only-master   </span>
 </code></pre>
 <p>Make sure to replace all <code>&lt;....&gt;</code> in the <code>command:</code> sequence with appropriate values. For <code>&lt;GIT_USER&gt;</code>, it should be a GitHub account that has access to push documentation to your GitHub repo. Many times <code>&lt;GIT_USER&gt;</code> and <code>&lt;GITHUB_USERNAME&gt;</code> will be the same.</p>
 <p><strong>DO NOT</strong> place the actual value of <code>$GITHUB_TOKEN</code> in <code>circle.yml</code>. We already configured that as an environment variable back in Step 3.</p>