users: create stdiscosrv manpage

GitHub-Pull-Request: https://github.com/syncthing/docs/pull/203
2016-07-04 14:28:49 +00:00
parent 76236e1797
commit aae1a525f1
2 changed files with 102 additions and 59 deletions
@@ -252,6 +252,9 @@ man_pages = [
    ('users/syncthing', 'syncthing',
     'Syncthing',
     ['The Syncthing Authors'], 1),
+    ('users/stdiscosrv', 'stdiscosrv',
+     'Syncthing Discovery Server',
+     ['The Syncthing Authors'], 1),
    ('users/strelaysrv', 'strelaysrv',
     'Syncthing Relay Server',
     ['The Syncthing Authors'], 1),