Fix typos - remove duplicate "is".

PR:		docs/154934
Submitted by:	Eitan Adler <lists at eitanadler.com>
MFC after:	3 days

2 files changed, 2 insertions, 2 deletions

diff --git a/share/doc/papers/devfs/paper.me b/share/doc/papers/devfs/paper.me
index 9b775e938b92..1fc627215ac4 100644
--- a/share/doc/papers/devfs/paper.me
+++ b/share/doc/papers/devfs/paper.me
@@ -779,7 +779,7 @@ The entry points to the device driver are stored in the specinfo
 structure, removing the need for the devsw[] array and allowing
 device drivers to use separate entrypoints for various minor numbers.
 .lp
-This is is very convenient for devices which have a ``control''
+This is very convenient for devices which have a ``control''
 device for management and tuning.  The control device, almost always
 have entirely separate open/close/ioctl implementations [MD.C].
 .lp
diff --git a/share/doc/psd/23.rpc/rpc.prog.ms b/share/doc/psd/23.rpc/rpc.prog.ms
index 8b791309747e..a26998c125ec 100644
--- a/share/doc/psd/23.rpc/rpc.prog.ms
+++ b/share/doc/psd/23.rpc/rpc.prog.ms
@@ -71,7 +71,7 @@ manual page.
 .I "The Highest Layer:"
 .IX RPC "The Highest Layer"
 The highest layer is totally transparent to the operating system,
-machine and network upon which is is run.  It's probably best to
+machine and network upon which is run.  It's probably best to
 think of this level as a way of
 .I using
 RPC, rather than as