diff --git a/doc/man/taskrc.5.in b/doc/man/taskrc.5.in
index 4f35509bd..d702f3fce 100644
--- a/doc/man/taskrc.5.in
+++ b/doc/man/taskrc.5.in
@@ -458,6 +458,10 @@ debug output can be useful.  It can also help explain how the command line is
 being parsed, but the information is displayed in a developer-friendly, not a
 user-friendly way.
 
+.TP
+.B debug.tls=0
+Controls the GnuTLS log level.  For 'sync' debugging.
+
 .TP
 .B alias.rm=delete
 Taskwarrior supports command aliases.  This alias provides an alternate name
@@ -1354,6 +1358,31 @@ of a task.
 .B uda.estimate.values=trivial,small,medium,large,huge
 .RE
 
+.SS SYNC
+
+These configuration settings are used to connect and sync tasks with the task
+server.
+
+.TP
+.B taskd.server=<host>:<port>
+.RS
+Specifies the hostname and port of the task server.  Hostname may be an IPv4 or
+IPv6 address, or domain.  Port is an integer.
+.RE
+
+.TP
+.B taskd.credentials=<organization>/<user>/<key>
+.RS
+User identification for the task server, which includes a private key.
+.RE
+
+.TP
+.B taskd.certificate=<path>
+.RS
+Specifies the path to the client certificate used for encrypted communication
+with the task server.
+.RE
+
 .SH "CREDITS & COPYRIGHTS"
 Copyright (C) 2006 \- 2013 P. Beckingham, F. Hernandez.