widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

GunChleoc has proposed merging lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands.

Commit message:
Removed the documentation page for the dedicated server.

Requested reviews:
  Widelands Developers (widelands-dev)

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/remove-dedicated-server-doc/+merge/328354

The dedicated server was removed with Build 19, so no need to document it. The page was only a link to the wiki anyway.
-- 
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands.

=== 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/