summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--website/dev.mdwn13
-rw-r--r--website/download.mdwn28
-rw-r--r--website/index.mdwn3
3 files changed, 20 insertions, 24 deletions
diff --git a/website/dev.mdwn b/website/dev.mdwn
deleted file mode 100644
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 c2033a4..947b171 100644
--- 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 8038dd3..853c75b 100644
--- 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 ##