# HG changeset patch
# User Wuzzy
# Date 1531451010 -3600
# Node ID 62a948dbdcad0f7fe2f4bb462855edb1d7950b99
# Parent  abd165fa64268d8bd9be52d63157087e39a2c3bf
WikiSyntax: Update sidebar stuff

diff -r abd165fa6426 -r 62a948dbdcad WikiSyntax.wiki
--- a/WikiSyntax.wiki	Fri Jul 13 04:01:53 2018 +0100
+++ b/WikiSyntax.wiki	Fri Jul 13 04:03:30 2018 +0100
@@ -414,13 +414,9 @@
 
 == Side navigation ==
 
-You can specify the sidebar for a wiki page by selecting another wiki page that defines your side navigation.
-
-One way of adding a sidebar is by setting the #sidebar pragma, as shown below. Alternatively, the sidebar pragma can be left blank if no side navigation is desired. 
+The sidebar is just another wiki page and defined in the special page [TableOfContents].
 
-|| #sidebar !TableOfContents ||
-
-The side navigation that is defined should be in the format of a simple list, as shown below. 
+The side navigation that is defined should be in the format of a simple list, as shown below:
 
 {{{
   * [Articles HOWTO articles]