[gnome-mines] User docs: Make page ID the same as file name

[Andre Klapper <aklapper src gnome org>]

commit 044177f3e8b0c94c333d2c514b0f988a0d453c9b
Author: Andre Klapper <a9016009 gmx de>
Date:   Sun Mar 23 21:37:40 2014 +0100

    User docs: Make page ID the same as file name

 help/C/rules.page |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/help/C/rules.page b/help/C/rules.page
index 9ae881a..9f11f13 100644
--- a/help/C/rules.page
+++ b/help/C/rules.page
@@ -1,6 +1,6 @@
 <page xmlns="http://projectmallard.org/1.0/";
       type="topic"
-      id="rule">
+      id="rules">
 
   <info>
     <link type="guide" xref="index#play"/>