From e64564c9ae16df1328fac5bdd33c006d82574d7b Mon Sep 17 00:00:00 2001 From: Stefan Tatschner Date: Tue, 20 Oct 2015 14:03:36 +0200 Subject: [PATCH] Add syncthing-globaldisco.7 --- conf.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/conf.py b/conf.py index 3621b0259..aa3d7c20f 100644 --- a/conf.py +++ b/conf.py @@ -285,6 +285,9 @@ man_pages = [ ('specs/localdisco-v3', 'syncthing-localdisco', 'Local Discovery Protocol v3', ['The Syncthing Authors'], 7), + ('specs/globaldisco-v3', 'syncthing-globaldisco', + 'Global Discovery Protocol v3', + ['The Syncthing Authors'], 7), ] # If true, show URL addresses after external links.