From cd60290a6fed1945a4bfe7a5c1f08f8715fd59a7 Mon Sep 17 00:00:00 2001 From: Website Deployment Script Date: Mon, 18 Dec 2017 00:44:56 +0000 Subject: [PATCH] Deploy website Deploy website version based on 043929ac2164d24dbe0b87fed506c67cfa0a5846 --- docs/en/commands.html | 2 +- docs/en/custom-pages.html | 6 +++--- docs/en/publishing.html | 4 ++-- docs/en/versioning.html | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/docs/en/commands.html b/docs/en/commands.html index 600b943ba4..cd111fd7a7 100644 --- a/docs/en/commands.html +++ b/docs/en/commands.html @@ -58,7 +58,7 @@
  • CIRCLE_PROJECT_REPONAME: The name of the git repo, e.g. "Docusaurus".
  • CI_PULL_REQUEST: Expected to be truthy if the current CI run was triggered by a commit in a pull request.
  • -

    You can learn more about configuring automatic deployments with CircleCI in the Publishing guide.

    +

    You can learn more about configuring automatic deployments with CircleCI in the Publishing guide.


    docusaurus-rename-version <currentVersion> <newVersion>

    Alias: rename-version

    diff --git a/docs/en/custom-pages.html b/docs/en/custom-pages.html index 6b0e13eeb6..14a73c7bcf 100644 --- a/docs/en/custom-pages.html +++ b/docs/en/custom-pages.html @@ -1,13 +1,13 @@ -Custom Pages · Docusaurus