man: add "DNS resource record types" section

1 files changed, 2 insertions, 1 deletions

diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py
index bbdc5572f5..8a2939959b 100755
--- a/tools/make-directive-index.py
+++ b/tools/make-directive-index.py
@@ -77,13 +77,14 @@ def _extract_directives(directive_groups, formatting, page):
                 storfile[text].append((pagename, section))
                 formatting[text] = name
 
-    storfile = directive_groups['constants']
     for name in t.iterfind('.//constant'):
         if name.attrib.get('index') == 'false':
             continue
         name.tail = ''
         if name.text.startswith('('): # a cast, strip it
             name.text = name.text.partition(' ')[2]
+        klass = name.attrib.get('class') or 'constants'
+        storfile = directive_groups[klass]
         storfile[name.text].append((pagename, section))
         formatting[name.text] = name