diff options
| -rwxr-xr-x | packaging/debian/monkeysphere.prerm | 2 | ||||
| -rw-r--r-- | website/doc.mdwn | 4 | ||||
| -rw-r--r-- | website/getting-started-user.mdwn | 2 |
3 files changed, 5 insertions, 3 deletions
diff --git a/packaging/debian/monkeysphere.prerm b/packaging/debian/monkeysphere.prerm index 1fb2636..5835f53 100755 --- a/packaging/debian/monkeysphere.prerm +++ b/packaging/debian/monkeysphere.prerm @@ -5,6 +5,8 @@ # Author: Jameson Rollins <jrollins@finestructure.net> # Copyright 2008-2009 +true + # dh_installdeb will replace this with shell code automatically # generated by other debhelper scripts. diff --git a/website/doc.mdwn b/website/doc.mdwn index 85d619e..47b173a 100644 --- a/website/doc.mdwn +++ b/website/doc.mdwn @@ -12,11 +12,11 @@ * [Advanced Monkeysphere usage](/advanced-user) * [Signing host keys](/signing-host-keys) - * [Understandingn trust models](/trust-models) + * [Understanding trust models](/trust-models) ## Under the hood ## - * [Developing the monkeysphere](/community) + * [Developing the Monkeysphere](/community) * [Technical details](/technical-details) ## References ## diff --git a/website/getting-started-user.mdwn b/website/getting-started-user.mdwn index 46f9015..9e2be26 100644 --- a/website/getting-started-user.mdwn +++ b/website/getting-started-user.mdwn @@ -36,7 +36,7 @@ to the "Host *" section of your `~/.ssh/config` file: ProxyCommand monkeysphere ssh-proxycommand %h %p The "Host *" section specifies what ssh options to use for all -connections. If you don't already have a "Host *" line, you can add it +connections. If you don't already have a "Host \*" line, you can add it by entering: Host * |