1 files changed, 3 insertions, 0 deletions
diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py
index c6b2173b2e..b04281490d 100755
--- a/tools/make-directive-index.py
+++ b/tools/make-directive-index.py
@@ -95,6 +95,9 @@ def _extract_directives(directive_groups, formatting, page):
             continue
         storfile[name.text].append((pagename, section))
         formatting[name.text] = name
+    for name in t.iterfind(".//literal[@class='specifiers']"):
+        storfile[name.text].append((pagename, section))
+        formatting[name.text] = name
 
 def _make_section(template, name, directives, formatting):
     varlist = template.find(".//*[@id='{}']".format(name))