[gnomefr-web] point to library.gnome.org/devel instead of developer.gnome.org

[Frederic Peters <fpeters src gnome org>]

commit 74323d475aecdc08bceebfe4a8c54daad9e80f90
Author: Frédéric Péters <fpeters 0d be>
Date:   Wed Jun 3 11:48:58 2009 +0200

    point to library.gnome.org/devel instead of developer.gnome.org
---
 include/evilsedhack |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/include/evilsedhack b/include/evilsedhack
index 4451209..7d38937 100755
--- a/include/evilsedhack
+++ b/include/evilsedhack
@@ -50,7 +50,7 @@ if test "$SIDEBAR" -ne 0; then
 
 <p class="section">Développeurs</p>
 <ul>
-<li><a href="http://developer.gnome.org/";>Le site des développeurs</a></li>
+<li><a href="http://library.gnome.org/devel/";>Documentation pour les développeurs</a></li>
 <li><a href="http://mail.gnome.org/";>Listes de diffusion</a></li>
 <li><a href="http://bugzilla.gnome.org/";>Bugzilla</a></li>
 <li><a href="http://git.gnome.org/cgit/";>Dépôts avec les sources</a></li>