[gnome-devel-docs] devtools-install: Use logo images for titles

[Johannes Schmid <jhs src gnome org>]

commit 285da399499f0c532fe188af8e02b15789f66565
Author: Johannes Schmid <jhs gnome org>
Date:   Sun Dec 5 19:19:04 2010 +0100

    devtools-install: Use logo images for titles

 articles/devtools-install/C/fedora.page        |    2 +-
 articles/devtools-install/C/media/fedora.png   |  Bin 0 -> 5358 bytes
 articles/devtools-install/C/media/opensuse.png |  Bin 0 -> 6957 bytes
 articles/devtools-install/C/media/ubuntu.png   |  Bin 0 -> 4473 bytes
 articles/devtools-install/C/opensuse.page      |    2 +-
 articles/devtools-install/C/ubuntu.page        |    2 +-
 articles/devtools-install/Makefile.am          |    5 +++++
 7 files changed, 8 insertions(+), 3 deletions(-)
---
diff --git a/articles/devtools-install/C/fedora.page b/articles/devtools-install/C/fedora.page
index 84bcd19..b02ce0b 100644
--- a/articles/devtools-install/C/fedora.page
+++ b/articles/devtools-install/C/fedora.page
@@ -15,7 +15,7 @@
     
   </info>
 
-<title>Install and set up development environment on Fedora</title>
+<title><media type="image" mime="image/png" src="media/fedora.png"/></title>
 
 <note>
   <p>Please make sure that you are running the latest version of 
diff --git a/articles/devtools-install/C/media/fedora.png b/articles/devtools-install/C/media/fedora.png
new file mode 100644
index 0000000..a1c4d40
Binary files /dev/null and b/articles/devtools-install/C/media/fedora.png differ
diff --git a/articles/devtools-install/C/media/opensuse.png b/articles/devtools-install/C/media/opensuse.png
new file mode 100644
index 0000000..e605840
Binary files /dev/null and b/articles/devtools-install/C/media/opensuse.png differ
diff --git a/articles/devtools-install/C/media/ubuntu.png b/articles/devtools-install/C/media/ubuntu.png
new file mode 100644
index 0000000..a343f2c
Binary files /dev/null and b/articles/devtools-install/C/media/ubuntu.png differ
diff --git a/articles/devtools-install/C/opensuse.page b/articles/devtools-install/C/opensuse.page
index bc7dce7..72b58a5 100644
--- a/articles/devtools-install/C/opensuse.page
+++ b/articles/devtools-install/C/opensuse.page
@@ -15,7 +15,7 @@
     
   </info>
 
-<title>Install and set up development environment on OpenSuSE</title>
+<title><media type="image" mime="image/png" src="media/opensuse.png"/></title>
 
 <note>
   <p>Please make sure that you are running the latest version of 
diff --git a/articles/devtools-install/C/ubuntu.page b/articles/devtools-install/C/ubuntu.page
index a2b833e..0900cc7 100644
--- a/articles/devtools-install/C/ubuntu.page
+++ b/articles/devtools-install/C/ubuntu.page
@@ -15,7 +15,7 @@
     
   </info>
 
-<title>Install and set up development environment on Ubuntu</title>
+<title><media type="image" mime="image/png" src="media/ubuntu.png"/></title>
 
 <note>
   <p>Please make sure that you are running the latest version of 
diff --git a/articles/devtools-install/Makefile.am b/articles/devtools-install/Makefile.am
index 86667ee..7a94cc0 100644
--- a/articles/devtools-install/Makefile.am
+++ b/articles/devtools-install/Makefile.am
@@ -8,3 +8,8 @@ DOC_PAGES = \
 	ubuntu.page \
 	opensuse.page
 
+DOC_FIGURES = \
+	fedora.png \
+	ubuntu.png \
+	opensuse.png
+