From 638cef639d97ff9065e8a05f1a7923c0d51d6de4 Mon Sep 17 00:00:00 2001
From: simonraven <simonraven@web>
Date: Sun, 29 Mar 2009 01:28:16 -0400
Subject: [PATCH] minor formatting tweaks

---
 doc/tips/github.mdwn | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/doc/tips/github.mdwn b/doc/tips/github.mdwn
index 974d572f1..0a76166ee 100644
--- a/doc/tips/github.mdwn
+++ b/doc/tips/github.mdwn
@@ -26,16 +26,16 @@ for more space, or you can migrate your site elsewhere.
 ## local setup
 
 * On your laptop, create two empty git repositories to correspond to the
-  github repositories:
-	YOU=# your github username here
-	mkdir ~/$YOU.github.com
-	cd ~/$YOU.github.com
-	git init
-	git remote add origin git@github.com:$YOU/$YOU.github.com.git
-	mkdir ~/$YOU
-	cd ~/$YOU
-	git init
-	git remote add origin git@github.com:$YOU/$YOU.git
+  github repositories: <br />
+	`YOU = your github username here` <br />
+	`mkdir ~/$YOU.github.com` <br />
+	`cd ~/$YOU.github.com` <br />
+	`git init` <br />
+	`git remote add origin git@github.com:$YOU/$YOU.github.com.git` <br />
+	`mkdir ~/$YOU` <br />
+	`cd ~/$YOU` <br />
+	`git init` <br />
+	`git remote add origin git@github.com:$YOU/$YOU.git` <br />
 * Add some wiki pages, such as an `index.mdwn`, to `~/$YOU`, and check them
   in and commit them to git. You need something to push to github. Run
   `git push origin master` to push the source pages to github.
-- 
2.44.0