[library-web] point developers in the top navbar to developer.gnome.org

[Frederic Peters <fpeters src gnome org>]

commit b6811f23f8f109e76508b7c9a227303cd09513d9
Author: Frédéric Péters <fpeters 0d be>
Date:   Wed Apr 6 13:14:04 2011 +0530

    point developers in the top navbar to developer.gnome.org

 data/xslt/heading.xsl |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/xslt/heading.xsl b/data/xslt/heading.xsl
index f0979ca..57d07fe 100644
--- a/data/xslt/heading.xsl
+++ b/data/xslt/heading.xsl
@@ -67,7 +67,7 @@
                   <xsl:if test="$channel = 'devel'">
                     <xsl:attribute name="class">current-menu-item</xsl:attribute>
                   </xsl:if>
-                  <a href="/devel/"><xsl:call-template name="gettext"><xsl:with-param name="lang"
+                  <a href="http://developer.gnome.org/";><xsl:call-template name="gettext"><xsl:with-param name="lang"
                     select="$lang"/><xsl:with-param name="msgid"
                     select="'developerslabel'"/></xsl:call-template>
                   </a>