From b348c38f1c3bc7a4a287f993f072b42741f15def Mon Sep 17 00:00:00 2001 From: Website Deployment Script Date: Sun, 8 Apr 2018 04:17:35 +0000 Subject: [PATCH] Deploy website Deploy website version based on 837dd38f1aa8591af883e73cb4348c2f8252dc52 --- docs/en/commands.html | 8 ++++---- docs/en/navigation.html | 6 +++--- docs/en/publishing.html | 4 ++-- docs/en/search.html | 6 +++--- docs/en/translation.html | 12 ++++++------ docs/en/versioning.html | 2 +- en/index.html | 6 +++--- index.html | 6 +++--- 8 files changed, 25 insertions(+), 25 deletions(-) diff --git a/docs/en/commands.html b/docs/en/commands.html index 37b97ac2b2..2806421096 100644 --- a/docs/en/commands.html +++ b/docs/en/commands.html @@ -51,7 +51,7 @@

docusaurus-publish

Alias: publish-gh-pages

Builds, then deploys the static website to GitHub Pages. This command is meant to be run during the deployment step in Circle CI, and therefore expects a few environment variables to be defined:

-

The following is generally set manually by the user in the CircleCI config.yml file.

+

The following environment variables are generally set manually by the user in the CircleCI config.yml file.