Merge lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands

[GunChleoc]

Removed the documentation page for the dedicated server.

The dedicated server was removed with Build 19, so no need to document it. The page was only a link to the wiki anyway.

[bunnybot (widelandsofficial)]

Continuous integration builds have changed state:

Travis build 2493. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/259739233.
Appveyor build 2317. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_remove_dedicated_server_doc-2317.

[Klaus Halfmann (klaus-halfmann)]

This is a doc change only, no objections here.

as Travis and Appveyor are green, lets get this in, well out.

@bunnybot merge

review: Approve (review)

[GunChleoc (gunchleoc)]

Thanks for the review :)

=== modified file 'doc/sphinx/source/index.rst'
--- doc/sphinx/source/index.rst	2014-07-14 10:45:44 +0000
+++ doc/sphinx/source/index.rst	2017-08-01 11:55:29 +0000
@@ -12,7 +12,6 @@
    :maxdepth: 2
 
    development
-   server
    geometry
    productionsite_program
    lua_index

=== removed file 'doc/sphinx/source/server.rst'
--- doc/sphinx/source/server.rst	2012-06-15 20:29:49 +0000
+++ doc/sphinx/source/server.rst	1970-01-01 00:00:00 +0000
@@ -1,5 +0,0 @@
-Dedicated Server
-================
-
-For the complete setup guide for dedicated Widelands servers, checkout the Wiki page at:
-http://wl.widelands.org/wiki/DedicatedServer/