nuke 'the the' typo

diff --git a/sail/sail.6 b/sail/sail.6
index 6cb4638caed61ae3ee3a748cd74c6d32ab37f7ec..4283d82cae12518fd784062eab3430a4868203a6 100644 (file)
--- a/sail/sail.6
+++ b/sail/sail.6
@@ -1,4 +1,4 @@
-.\"    $NetBSD: sail.6,v 1.4 1995/04/22 10:37:24 cgd Exp $
+.\"    $NetBSD: sail.6,v 1.5 1996/12/04 00:21:29 perry Exp $

 .\"
 .\" Copyright (c) 1988, 1993
 .\"    The Regents of the University of California.  All rights reserved.
 .\"
 .\" Copyright (c) 1988, 1993
 .\"    The Regents of the University of California.  All rights reserved.


@@ -256,7 +256,7 @@ any fleet were its "Ships of the Line", or "Line of Battle Ships".  They
 were so named because these ships fought together in great lines.  They were
 close enough for mutual support, yet every ship could fire both its broadsides.
 We get the modern words "ocean liner," or "liner," and "battleship" from
 were so named because these ships fought together in great lines.  They were
 close enough for mutual support, yet every ship could fire both its broadsides.
 We get the modern words "ocean liner," or "liner," and "battleship" from

-"ship of the line."  The most common size was the the 74 gun two decked
+"ship of the line."  The most common size was the 74 gun two decked

 ship of the line.  The two gun decks usually mounted 18 and 24 pounder guns.
 .PP
 The pride of the fleet were the first rates.  These were huge three decked
 ship of the line.  The two gun decks usually mounted 18 and 24 pounder guns.
 .PP
 The pride of the fleet were the first rates.  These were huge three decked