Updated manual: fixed double spaces.

doc/manual/manual.txt

@@ -91,12 +91,11 @@ Campaign::
  of connected scenarios. Click this button to start a new campaign. You
  will be presented with a list of campaigns available on your computer
  (more can be downloaded if you wish). Select your campaign and click
- OK to start or Cancel to quit.
- +
- Each campaign has a difficulty level: easy, medium (normal), and hard. We
- recommend medium as this level is challenging, but not difficult. You may
- not change the difficulty during the campaign. In case you have serious
- problems fighting your way through easy difficulty, the guide about
+ OK to start or Cancel to quit. Each campaign has a difficulty level:
+ easy, medium (normal), and hard. We recommend medium as this level is
+ challenging, but not difficult. You may not change the difficulty during
+ the campaign. In case you have serious problems fighting your way
+ through easy difficulty, the guide about
  <<basic_strategy,Basic Strategy>> will surely help you. Once you have
  selected the difficulty, you will start with the first scenario of the
  campaign.
@@ -111,10 +110,9 @@ Multiplayer::
 Load::
  Click this button to load a previously saved game. You will be shown
  a dialogue listing saved games. Select the game and click Ok to load
- and continue, or Cancel to return to the Main Menu.
- +
- If you select a replay game, you can check the Replay check box. The
- loaded game will make all the moves from the beginning while you watch.
+ and continue, or Cancel to return to the Main Menu. If you select a 
+ replay game, you can check the Replay check box. The loaded game will
+ make all the moves from the beginning while you watch.
 
 Language::
  Click this button, select your language, and click OK to use it, or