docs: the site is now hosted by freedesktop.org

Reviewed-by: Eric Engestrom <eric@engestrom.ch>

diff --git a/docs/contents.html b/docs/contents.html
index c2fe39190c55deb037aa8cb09889182b3ddffc41..f56501f1551fe356eb96d8fd2d5ad491f98cefcd 100644 (file)
--- a/docs/contents.html
+++ b/docs/contents.html
@@ -98,8 +98,7 @@
 <b>Hosted by:</b>
 <br>
 <blockquote>
-<a href="http://sourceforge.net"
-target="_parent">sourceforge.net</a>
+<a href="http://freedesktop.org" target="_parent">freedesktop.org</a>
 </blockquote>
 
 </body>