From 94da9eb013a478480a5f4e4676f4dee4d269aec7 Mon Sep 17 00:00:00 2001
From: Greg Alexander <gitgreg@galexander.org>
Date: Mon, 22 Dec 2014 13:35:20 -0500
Subject: [PATCH] typo

---
 doc/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/index.html b/doc/index.html
index 834e325..5e4684e 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -39,7 +39,7 @@ too.
 (they are created on demand), and where temporary files go.</p>
 
 <p>Next is the path to the login shell.  The default Android shell is
-<tt>/system/bin/sh</tt>, but you may prefer to use the one that come with
+<tt>/system/bin/sh</tt>, but you may prefer to use the one that comes with
 busybox or whatever.</p>
 
 <p>Finally is the path for the home directory, which also defaults to