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>