From 4238492a9b2da35ca84469e66c3c8a362b08021f Mon Sep 17 00:00:00 2001 From: Roeland Jago Douma Date: Thu, 8 Feb 2018 15:41:20 +0100 Subject: [PATCH] Add developer-manual entry to go.php Signed-off-by: Roeland Jago Douma --- go.php | 1 + 1 file changed, 1 insertion(+) diff --git a/go.php b/go.php index afcb34326..a94e7ceb7 100644 --- a/go.php +++ b/go.php @@ -34,6 +34,7 @@ $mapping = array( 'admin-update' => '/admin_manual/maintenance/update.html', 'admin-theming-icons' => '/admin_manual/configuration_server/theming.html#theming-of-icons', + 'developer-manual' => '/developer_manual', 'developer-code-integrity'=> '/developer_manual/app/code_signing.html', 'developer-theming' => '/developer_manual/core/theming.html',