[gnome-devel-docs] demos: Change index title to "Mini-Tutorials"

[Johannes Schmid <jhs src gnome org>]

commit 64bb4e61e5b9eaf443f7cfa5576bc44711e21258
Author: Johannes Schmid <jhs gnome org>
Date:   Sat Mar 19 17:28:27 2011 -0400

    demos: Change index title to "Mini-Tutorials"

 demos/C/index.page |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/demos/C/index.page b/demos/C/index.page
index 0b97ff9..994feb0 100644
--- a/demos/C/index.page
+++ b/demos/C/index.page
@@ -10,7 +10,7 @@
   </credit>
 </info>
 
-<title>GNOME Developer Demos</title>
+<title>GNOME Developer Mini-Tutorials</title>
 
 <section id="c">
  <title>C</title>