[gnome-devel-docs] Remove gnome-devtools.catalog from platform demos

[David King <davidk src gnome org>]

commit b5b3a6aaf740b47852b20d00c5159de4e2878c9e
Author: David King <amigadave amigadave com>
Date:   Sun Jan 26 11:46:55 2014 +0000

    Remove gnome-devtools.catalog from platform demos
    
    PackageKit 3.11.3 removed catalog support, and the existing catalog was
    apparently broken on recent versions of Fedora.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=711077

 platform-demos/C/getting-ready.page           |    6 ------
 platform-demos/C/media/gnome-devtools.catalog |   17 -----------------
 2 files changed, 0 insertions(+), 23 deletions(-)
---
diff --git a/platform-demos/C/getting-ready.page b/platform-demos/C/getting-ready.page
index 8af60e5..4f269f6 100644
--- a/platform-demos/C/getting-ready.page
+++ b/platform-demos/C/getting-ready.page
@@ -21,12 +21,6 @@
 GNOME development on your computer. This shouldn't take you more than ten
 minutes.</p>
 
-<section id="auto">
-<title>Automatic installation</title>
-<p>On an up-to-date distribution you should be able to simply install the required packages by clicking
-on <link href="media/gnome-devtools.catalog">Install now</link>.</p>
-</section>
-
 <section id="manual">
 <title>Manual installation</title>
 <p>If you prefer manual installation you can find the instructions for the various distributions in the