From 57aa23d29c90f7cb9019b3c09aedd56d8cf800d3 Mon Sep 17 00:00:00 2001
From: Jakob Borg <jakob@nym.se>
Date: Tue, 5 Jul 2016 15:00:15 +0200
Subject: [PATCH] index: discosrv & relaysrv were renamed

---
 index.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.rst b/index.rst
index 59750522b..85dc09ead 100644
--- a/index.rst
+++ b/index.rst
@@ -72,8 +72,8 @@ can use the headings in the left sidebar to navigate the site.
    users/ignoring
    users/versioning
 
-   users/discosrv
-   users/relaysrv
+   users/stdiscosrv
+   users/strelaysrv
    users/custom-upgrades
 
    users/*