delete doubled words, e.g.: "the the" -> "the"

3 files changed, 6 insertions, 3 deletions

diff --git a/share/doc/psd/05.sysman/1.2.t b/share/doc/psd/05.sysman/1.2.t
index c0a3b177ed68..1a77f773c4fc 100644
--- a/share/doc/psd/05.sysman/1.2.t
+++ b/share/doc/psd/05.sysman/1.2.t
@@ -30,6 +30,7 @@
 .\" SUCH DAMAGE.
 .\"
 .\"	@(#)1.2.t	8.1 (Berkeley) 6/8/93
+.\"	$Id$
 .\"
 .sh "Memory management\(dg
 .NH 3
@@ -233,7 +234,7 @@ value = mset(sem, wait)
 result int value; semaphore *sem; int wait;
 .DE
 \fIMset\fP indivisibly tests and sets the semaphore \fIsem\fP.
-If the the previous value is zero, the process has acquired the lock
+If the previous value is zero, the process has acquired the lock
 and \fImset\fP returns true immediately.
 Otherwise, if the \fIwait\fP flag is zero,
 failure is returned.
diff --git a/share/doc/psd/05.sysman/2.3.t b/share/doc/psd/05.sysman/2.3.t
index 509c7f315897..8cb60a088477 100644
--- a/share/doc/psd/05.sysman/2.3.t
+++ b/share/doc/psd/05.sysman/2.3.t
@@ -30,6 +30,7 @@
 .\" SUCH DAMAGE.
 .\"
 .\"	@(#)2.3.t	8.1 (Berkeley) 6/8/93
+.\"	$Id$
 .\"
 .sh "Interprocess communications
 .NH 3
@@ -392,7 +393,7 @@ provide IP source routing or security options.
 The 32-bit address is composed of network and host parts;
 the network part is variable in size and is frequency encoded.
 The host part may optionally be interpreted as a subnet field
-plus the host on subnet; this is is enabled by setting a network address
+plus the host on subnet; this is enabled by setting a network address
 mask at boot time.
 .NH 4
 Access rights transmission
diff --git a/share/doc/psd/21.ipc/5.t b/share/doc/psd/21.ipc/5.t
index fe6977ee803b..25fd4e5bef44 100644
--- a/share/doc/psd/21.ipc/5.t
+++ b/share/doc/psd/21.ipc/5.t
@@ -30,6 +30,7 @@
 .\" SUCH DAMAGE.
 .\"
 .\"	@(#)5.t	8.1 (Berkeley) 8/14/93
+.\"	$Id$
 .\"
 .\".ds RH "Advanced Topics
 .bp
@@ -1538,7 +1539,7 @@ on file descriptors 0 and 1, and may immediately perform
 any operations such as \fIread\fP, \fIwrite\fP, \fIsend\fP,
 or \fIrecv\fP.  Indeed, servers may use
 buffered I/O as provided by the ``stdio'' conventions, as
-long as as they remember to use \fIfflush\fP when appropriate.
+long as they remember to use \fIfflush\fP when appropriate.
 .PP
 One call which may be of interest to individuals writing
 servers under \fIinetd\fP is the \fIgetpeername\fP call,