More tweaks to the website.

diff --git a/website/dev.mdwn b/website/dev.mdwn
deleted file mode 100644 (file)
index b149f9c..0000000
--- a/website/dev.mdwn
+++ /dev/null
@@ -1,13 +0,0 @@
-# Monkeysphere Development #
-
-The Monkeysphere is attempting to use a completely distributed
-development model.  Please feel free to clone any of our developer git
-repositories, and send patches, modifications, or merge requests to
-any of the upstream developers.
-
-## Contacts ##
-
-Please feel free to contact any of the Monkeysphere developers with
-any questions, comments, bug reports, requests, etc:
-
-Jameson Graef Rollins <jrollins@phys.columbia.edu>

diff --git a/website/download.mdwn b/website/download.mdwn
index c2033a48eff6ba323a3c88afdea1ef83db7df367..947b1712a77b79494b9734eb5204945ec39639cd 100644 (file)
--- a/website/download.mdwn
+++ b/website/download.mdwn
@@ -1,4 +1,4 @@
-##Downloading and Installing##
+## Downloading and Installing ##
 
 If you are running a Debian system, you can install Monkeysphere
 by following these directions:
@@ -13,14 +13,24 @@ The repository is currently signed by [Daniel Kahn Gillmor's OpenPGP key](http:/
 (fingerprint: `0EE5 BE97 9282 D80B 9F75 40F1 CCD2 ED94 D217 39E9`).
 To cryptographically verify the packages, you'll want to [add `dkg`'s key to your apt configuration](http://cmrg.fifthhorseman.net/wiki/apt/importing-keys "Instructions for adding dkg's key to apt")
 
-##git repositories##
+## git repositories ##
 
-Development is done in an extremely distributed manner using 
-[git](http://git.or.cz/). Once you've
-[installed git](http://www.spheredev.org/wiki/Git_for_the_lazy), you can 
-clone the repository by doing
+The Monkeysphere is attempting to use a completely distributed
+development model with [git](http://git.or.cz/).  Once you've
+[installed git](http://www.spheredev.org/wiki/Git_for_the_lazy), you
+can [git
+clone](http://www.kernel.org/pub/software/scm/git/docs/git-clone.html)
+any of the developer repositories:
 
-       git clone http://lair.fifthhorseman.net/~dkg/git/monkeysphere.git/ monkeysphere
+Jameson Graef Rollins <jrollins@phys.columbia.edu>:
 
-Other developers have their own repositories, which you can substitute 
-for dkg's if you like.
+       git clone http://lair.fifthhorseman.net/~jrollins/git/monkeysphere.git monkeysphere
+
+dkg:
+
+       git clone http://lair.fifthhorseman.net/~dkg/git/monkeysphere.git monkeysphere
+
+## Contact ##
+
+Please feel free to contact any of the Monkeysphere developers with
+any questions, comments, bug reports, requests, etc.

diff --git a/website/index.mdwn b/website/index.mdwn
index 8038dd3096b3f608003162e6bf49c58d89ab481a..853c75b88635417c07fb33a3dc7d3a25f3f291bc 100644 (file)
--- a/website/index.mdwn
+++ b/website/index.mdwn
@@ -9,8 +9,7 @@ yourself and the servers you administer or connect to.  OpenPGP keys
 are tracked via GnuPG, and managed in the `known_hosts` and
 `authorized_keys` files used by OpenSSH for connection authentication.
 
-[[bugs]] | [[download]] | [[news]] | [[documentation|doc]] |
-[[development|dev]]
+[[bugs]] | [[download]] | [[news]] | [[documentation|doc]]
 
 ## Conceptual overview ##