[PATCH 3/5] doc/gpg.texi: add node for 'Deprecated options' subsection.

[Ian Abbott]

It's missing from the GPG options menu.
---
 doc/gpg.texi | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/gpg.texi b/doc/gpg.texi
index ebc7fa0..4e75970 100644
--- a/doc/gpg.texi
+++ b/doc/gpg.texi
@@ -928,6 +928,7 @@ behaviour and to change the default configuration.
 * OpenPGP Options::             OpenPGP protocol specific options.
 * Compliance Options::          Compliance options.
 * GPG Esoteric Options::        Doing things one usually don't want to do.
+* Deprecated Options::          Deprecated options.
 @end menu
 
 Long options can be put in an options file (default
@@ -2847,6 +2848,7 @@ on the configuration file.
 @c *******************************
 @c ******* Deprecated ************
 @c *******************************
+ at node Deprecated Options
 @subsection Deprecated options
 
 @table @gnupgtabopt
-- 
1.8.1.5