Rename two more files.

4 files changed, 14 insertions, 21 deletions

diff --git a/facebook.mdwn b/community/facebook.mdwn
index 07e6eaf9..07e6eaf9 100644
--- a/facebook.mdwn
+++ b/community/facebook.mdwn
diff --git a/HowToContributeToThisWiki.mdwn b/how_to_contribute_to_this_wiki.mdwn
index 886c965d..3ee9a782 100644
--- a/HowToContributeToThisWiki.mdwn
+++ b/how_to_contribute_to_this_wiki.mdwn
@@ -6,8 +6,6 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
 is included in the section entitled
 [[GNU_Free_Documentation_License|/fdl.txt]]."]]
 
-# How to Contribute to This Wiki
-
 (!) Some general hints first; they may sound very familiar from other software
 projects:
 
@@ -17,10 +15,10 @@ projects:
   until you think it is perfect.
 
 Before doing any changes, you are encouraged to play a bit in this wiki's
-[[SandBox]], to become familiar with the [[MarkDown]] syntax.
+[[sandbox]], to become familiar with the [[Markdown]] syntax.
 
 
-## Edit Via the Web Interface
+# Edit Via the Web Interface
 
 When you found a page you want to work on, just follow the *Edit* link on the
 top of the page.  When doing this for the first time, this will first transfer
@@ -28,7 +26,7 @@ you to a page where you have to create a wiki account.  After logging in, you
 can edit the wiki pages.
 
 
-## Working on a Checkout of the git Repository
+# Working on a Checkout of the git Repository
 
 (!) What is being described here are only the basics.  The checkouts are
 completely valid git repositories and can (and want to) be treated as such.
@@ -96,9 +94,9 @@ But now: work on these files.
 	$ git commit hurd/ng.mdwn
 	[...]
 	$ # Add a new file.
-	$ emacs mach/issues.mdwn
-	$ git add mach/issues.mdwn
-	$ git commit mach/issues.mdwn
+	$ emacs microkernel/mach/issues.mdwn
+	$ git add microkernel/mach/issues.mdwn
+	$ git commit microkernel/mach/issues.mdwn
 	[...]
 	$ [...]
 
@@ -111,8 +109,8 @@ You can also locally get the whole wiki rendered to html pages:
 
 	$ wiki/render_locally
 	[...]
-	scanning HowToContributeToThisWiki.mdwn
-	rendering HowToContributeToThisWiki.mdwn
+	scanning how_to_contribute_to_this_wiki.mdwn
+	rendering how_to_contribute_to_this_wiki.mdwn
 	
 	Now open `wiki.rendered/index.html' to browse the wiki pages.
 
diff --git a/index.mdwn b/index.mdwn
index 435cc95e..8a74cdcf 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -8,13 +8,6 @@ this page's [[discussion]] subpage.
 
 ----
 
-See [[HowToContributeToThisWiki]] for advice about -- well, you guessed it
-already.
-
-All wikis are supposed to have a [[SandBox]], so this one does too.
-
-----
-
 This site focuses on providing a user-centric and update-able (hopefully the
 most current) information possible regarding the status and development of the
 GNU project's GNU operating system.  There are many areas to comment on the
@@ -108,7 +101,9 @@ Community resources for related projects focus around the official website
 
 Yes, this is very much encouraged!
 
-Please see [[HowToContributeToThisWiki]] for information.
+Please read about [[how_to_contribute_to_this_wiki]].
+
+All wikis are supposed to have a [[sandbox]], so this one does too.
 
 Every page on the site is editable.  Feel free to join in, but we do have some
 simple requests.  In an ideal wiki, everyone is equal and shares equal rights,
diff --git a/sandbox.mdwn b/sandbox.mdwn
index e3642f1b..a94d699b 100644
--- a/sandbox.mdwn
+++ b/sandbox.mdwn
@@ -1,6 +1,6 @@
-This is the SandBox, a page anyone can edit to learn how to use the wiki.
+This is the sandbox, a page anyone can edit to learn how to use the wiki.
 
-There even is a [[SubSandBox]].
+There even is a [[subsandbox]].
 
 ----
 
@@ -31,4 +31,4 @@ Bulleted list
 * *item*
 * item
 
-[[WikiLink]]
+[[wikilink]]