[gnome-devel-docs] Renaming of files.

[Tiffany Antopolski <antopolski src gnome org>]

commit ccf2f04f153ad4086b0dd8b21c15f4c8ad91aa33
Author: Taryn Fox <jewelfox fursona net>
Date:   Tue Aug 14 22:35:42 2012 -0400

    Renaming of files.
    
    Couldn't apply patch from bug# 680578, so manually made the change here.

 .../C/{set-up-gedit.page => set-up-gedit.js.page}  |    0
 platform-demos/Makefile.am                         |    2 +-
 2 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/platform-demos/C/set-up-gedit.page b/platform-demos/C/set-up-gedit.js.page
similarity index 100%
rename from platform-demos/C/set-up-gedit.page
rename to platform-demos/C/set-up-gedit.js.page
diff --git a/platform-demos/Makefile.am b/platform-demos/Makefile.am
index c2f549d..9411aee 100644
--- a/platform-demos/Makefile.am
+++ b/platform-demos/Makefile.am
@@ -339,7 +339,7 @@ DOC_PAGES =				\
 	scrolledwindow.py.page		\
 	scrolledwindow.vala.page	\
 	separator.py.page		\
-	set-up-gedit.page		\
+	set-up-gedit.js.page		\
 	signals-callbacks.py.page	\
 	spinbutton.c.page		\
 	spinbutton.js.page		\