"the the" purge

1 files changed, 1 insertions, 1 deletions

diff --git a/games/sail/sail.6 b/games/sail/sail.6
index 6cb4638caed..bd095cb3888 100644
--- a/games/sail/sail.6
+++ b/games/sail/sail.6
@@ -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
-"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