[gnome-devel-docs] Fixed link

[Marek Černocký <mcernocky src gnome org>]

commit f5f3093465ae2054e9305521da3fcea264cd093e
Author: Marek Černocký <marek manet cz>
Date:   Tue May 12 20:57:14 2015 +0200

    Fixed link

 platform-demos/C/beginner.js.page |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/platform-demos/C/beginner.js.page b/platform-demos/C/beginner.js.page
index bb32368..d3d4a14 100644
--- a/platform-demos/C/beginner.js.page
+++ b/platform-demos/C/beginner.js.page
@@ -23,7 +23,7 @@
 
   <title>Tutorial for beginners and code samples</title>
 <synopsis>
-  <p>JavaScript is one of the most popular programming languages on the web. It's not just for the web, 
though. If you have even a basic understanding of JavaScript, you can write full-fledged applications for 
GNOME. <link href="https://live.gnome.org/GnomeDocuments";>GNOME Documents</link> is written in JavaScript, 
and so is <link href="https://live.gnome.org/GnomeShell/Tour";>GNOME Shell</link>, the most basic part of 
GNOME.</p>
+  <p>JavaScript is one of the most popular programming languages on the web. It's not just for the web, 
though. If you have even a basic understanding of JavaScript, you can write full-fledged applications for 
GNOME. <link href="https://wiki.gnome.org/Apps/Documents";>GNOME Documents</link> is written in JavaScript, 
and so is <link href="https://live.gnome.org/GnomeShell/Tour";>GNOME Shell</link>, the most basic part of 
GNOME.</p>
   <note style="tip"><p>GNOME Shell is what you see when you click on "Activities" in the top-left corner of 
your screen. It also controls the clock and the rest of the top panel. Besides showing how you to write GNOME 
applications, these tutorials will also show you how to use JavaScript to write GNOME Shell extensions, which 
give it new features or change the way it does things.</p></note>
 </synopsis>