From ac94f8ebf85c1845a95058d760f47bfcdd05759d Mon Sep 17 00:00:00 2001 From: Website Deployment Script Date: Wed, 20 Dec 2017 15:33:43 +0000 Subject: [PATCH] Deploy website Deploy website version based on 06fc1378c5ce1a5c13899de06f9c66dda562b2f8 --- docs/en/doc-markdown.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/en/doc-markdown.html b/docs/en/doc-markdown.html index 4d196c6ca6..c2394cbe10 100644 --- a/docs/en/doc-markdown.html +++ b/docs/en/doc-markdown.html @@ -9,7 +9,7 @@

Documents use the following markdown header fields that are enclosed by a line --- on either side:

id: A unique document id. If this field is not present, the document's id will default to it's file name (without the extension).

title: The title of your document. If this field is not present, the document's title will default to it's id.

-

sidebar_label: The text shown in the document sidebar for this document. If this field is not present, the document's sidebar_label will default to it's title.

+

sidebar_label: The text shown in the document sidebar for this document. If this field is not present, the document's sidebar_label will default to its title.

For example:

---
 id: doc1