From afee10201d41806014771ffda9d10cc1b775be35 Mon Sep 17 00:00:00 2001
From: Website Deployment Script <docusaurus@users.noreply.github.com>
Date: Wed, 20 Dec 2017 05:36:38 +0000
Subject: [PATCH] Deploy website

Deploy website version based on d6d3c35620dbd18c8ae1a5f8110a8d9f53656827
---
 docs/en/site-config.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/en/site-config.html b/docs/en/site-config.html
index 843d97e61f..fbd8005e47 100644
--- a/docs/en/site-config.html
+++ b/docs/en/site-config.html
@@ -49,6 +49,7 @@
 </code></pre>
 <pre><code class="hljs css js">customDocsPath: <span class="hljs-string">"website-docs"</span>
 </code></pre>
+<p><code>useEnglishUrl</code> - If you do not have <a href="/docs/en/translation.html">translations</a> enabled (e.g., by having a <code>languages.js</code> file), but still want a link of the form <code>/docs/en/doc.html</code> (with the <code>en</code>), set this to <code>true</code>.</p>
 <p><code>organizationName</code> - GitHub username of the organization or user hosting this project. This is used by the publishing script to determine where your GitHub pages website will be hosted.</p>
 <p><code>editUrl</code> - url for editing docs, usage example: <code>editUrl + 'en/doc1.md'</code>. If this field is omitted, there will be no &quot;Edit this Doc&quot; button for each document.</p>
 <p><code>users</code> - The <code>users</code> array mentioned earlier.</p>