[iagno] Fix some links in help.

[Arnaud B. <arnaudb src gnome org>]

commit 1ae9ebd75dc91d9084c21da8ee35a57c99354ee2
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Mon Feb 3 15:08:22 2020 +0100

    Fix some links in help.

 help/C/highlights.page | 2 +-
 help/C/play.page       | 6 +++---
 help/C/shortcuts.page  | 2 +-
 help/C/theme.page      | 6 +++---
 4 files changed, 8 insertions(+), 8 deletions(-)
---
diff --git a/help/C/highlights.page b/help/C/highlights.page
index 2c2ebf1..5867ee6 100644
--- a/help/C/highlights.page
+++ b/help/C/highlights.page
@@ -19,7 +19,7 @@
 
   <title>Display helpful highlights</title>
 
-  <p><app>Reversi</app> can display some helpful highlights during a game, be it a Classic Reversi or a 
Reverse Reversi.</p> <!-- TODO add links against games pages -->
+  <p><app>Reversi</app> can display some helpful highlights during a game, be it a <em>Classic Reversi</em> 
or a <em>Reverse Reversi</em>.</p>
 
   <section id="highlight-playable-tiles">
     <title>Highlight playable tiles</title>
diff --git a/help/C/play.page b/help/C/play.page
index 2ff5c1f..f60374f 100644
--- a/help/C/play.page
+++ b/help/C/play.page
@@ -41,7 +41,7 @@
         </note>
       </item>
       <item>
-        <p>To show possible moves, select a tile where there is already a piece, whatever its color is. 
Alternatively, you might want to <link xref="highlight-playable-tiles">highlight playable tiles</link>.</p>
+        <p>To show possible moves, select a tile where there is already a piece, whatever its color is. 
Alternatively, you might want to <link xref="highlights#highlight-playable-tiles">highlight playable 
tiles</link>.</p>
       </item>
       <item>
         <p>You can always undo your move. For that, press the button with an arrow and a circle in the 
top-right corner (or in the bottom bar on small windows) and select <gui>Undo last move</gui>.</p>
@@ -66,14 +66,14 @@
         </note>
       </item>
       <item>
-        <p>To show possible moves, select a tile where there is already a piece, whatever its color is. 
Alternatively, you might want to <link xref="highlight-playable-tiles">highlight playable tiles</link>.</p>
+        <p>To show possible moves, select a tile where there is already a piece, whatever its color is. 
Alternatively, you might want to <link xref="highlights#highlight-playable-tiles">highlight playable 
tiles</link>.</p>
       </item>
       <item>
         <p>You can always undo your move. For that, use the <keyseq><key>Ctrl</key><key>Z</key></keyseq> 
keys sequence.</p>
       </item>
     </steps>
 
-    <p>More shortcuts are available, documented either on the <link xref="shortcuts">Keyboard 
shortcuts</link> page, or in the dialog that appears on <keyseq><key>Ctrl</key><key>F1</key></keyseq>.</p>
+    <p>More shortcuts are available, documented either on the <link xref="shortcuts#how-to-play">Keyboard 
shortcuts</link> page, or in the dialog that appears on <keyseq><key>Ctrl</key><key>F1</key></keyseq>.</p>
 
     <p>You can also <link xref="#mouse-play">use a mouse</link>.</p>
   </section>
diff --git a/help/C/shortcuts.page b/help/C/shortcuts.page
index 3db680b..207cb7d 100644
--- a/help/C/shortcuts.page
+++ b/help/C/shortcuts.page
@@ -24,7 +24,7 @@
 
   <title>Keyboard shortcuts</title>
 
-  <p><app>Reversi</app> can easily be used with keyboard. The Classic Reversi and Reverse Reversi games are 
both played with the same shortcuts.</p><!-- TODO link xref="Classic-Reversi#classic-reversi", and similar 
for Reverse Reversi, as in Taquin -->
+  <p><app>Reversi</app> can easily be <link xref="play#keyboard-play">used with keyboard</link>. The 
<em>Classic Reversi</em> and <em>Reverse Reversi</em> games are both played with the same shortcuts.</p>
 
   <section id="game-selection">
     <title>During game selection</title>
diff --git a/help/C/theme.page b/help/C/theme.page
index b957495..e37c3de 100644
--- a/help/C/theme.page
+++ b/help/C/theme.page
@@ -21,14 +21,14 @@
 
   <p><app>Reversi</app> supports various board themes, so that you can adjust its look to your taste.</p>
 
-  <p>Until the theme has been changed, the application tries to choose a theme adapted to your environment; 
see the section about the <link xref="default-theme"><em>Default</em> theme</link>.</p>
+  <p>Until the theme has been changed, the application tries to choose a theme adapted to your environment; 
see the section about the <link xref="#default-theme"><em>Default</em> theme</link>.</p>
 
   <section id="changing-theme">
     <title>Changing theme</title>
 
     <p>For changing theme, press the menu button in the top-right corner of the window, select 
<gui>Appearance</gui>, and select one of the items in the given list.</p>
 
-    <p>The first item of the list is called <gui><em>Default</em></gui> and lets the application try to 
choose a theme adapted to your environment; see the section about the <link 
xref="default-theme"><em>Default</em> theme</link>. The following suggestions are described in the <link 
xref="themes-list">themes list</link>.</p>
+    <p>The first item of the list is called <gui><em>Default</em></gui> and lets the application try to 
choose a theme adapted to your environment; see the section about the <link 
xref="#default-theme"><em>Default</em> theme</link>. The following suggestions are described in the <link 
xref="#themes-list">themes list</link>.</p>
 
     <p>Following the themes list, the options of the section <gui>Highlights</gui> are for <link 
xref="highlights">displaying helpful highlights</link>. These are working whatever theme you decide to 
use.</p>
   </section>
@@ -53,7 +53,7 @@
       </item>
     </list>
 
-    <p>The first entry in the themes list is called <em>Default</em> and has a special behavior; see the 
section about the <link xref="default-theme"><em>Default</em> theme</link>.</p>
+    <p>The first entry in the themes list is called <em>Default</em> and has a special behavior; see the 
section about the <link xref="#default-theme"><em>Default</em> theme</link>.</p>
   </section>
 
   <section id="default-theme">