minor formatting tweaks

diff --git a/doc/tips/github.mdwn b/doc/tips/github.mdwn
index 974d572f1aa555467753b30364fa41abcb5ac010..0a76166ee5213ecf3b4a8656c5b52aada3308ff9 100644 (file)
--- 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.