[lightsoff] User docs: Make page ID the same as file name

[Andre Klapper <aklapper src gnome org>]

commit 01a3ceb425c5679c9dae832a81b1230e000e6af1
Author: Andre Klapper <a9016009 gmx de>
Date:   Sun Mar 23 21:49:02 2014 +0100

    User docs: Make page ID the same as file name

 help/C/basic.page |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/help/C/basic.page b/help/C/basic.page
index e74fe0d..c160e51 100644
--- a/help/C/basic.page
+++ b/help/C/basic.page
@@ -1,6 +1,6 @@
 <page xmlns="http://projectmallard.org/1.0/";
        type="topic" style="task"
-       id="play">
+       id="basic">
   <info>
     <revision pkgversion="3.4" version="0.1" date="2012-03-08" status="review"/>
     <link type="guide" xref="index#play"/>