diff --git a/developer_manual/general/devenv.rst b/developer_manual/general/devenv.rst
index c016fd714..9b1ea8eb9 100644
--- a/developer_manual/general/devenv.rst
+++ b/developer_manual/general/devenv.rst
@@ -11,14 +11,14 @@ Please follow the steps on this page to set up your development environment.
 Set up web server and database
 ==============================
 
-First `set up your web server and database <http://doc.owncloud.org/server/7.0/admin_manual/installation.html>`_ (**Section**: Manual Installation - Prerequisites).
+First `set up your web server and database <http://doc.owncloud.org/server/7.0/admin_manual/#installation>`_ (**Section**: Manual Installation - Prerequisites).
 
 Get the source
 ==============
 
 There are two ways to obtain ownCloud sources: 
 
-* Using the `stable version <http://doc.owncloud.org/server/7.0/admin_manual/installation.html>`_
+* Using the `stable version <http://doc.owncloud.org/server/7.0/admin_manual/#installation>`_
 * Using the development version from `GitHub`_ which will be explained below.
 
 To check out the source from `GitHub`_ you will need to install git (see `Setting up git <https://help.github.com/articles/set-up-git>`_ from the GitHub help)