man: put all pages which mention a specifier in the index

I wasn't 100% convinced that this is the right thing to do, hence the separate
commit. But e.g. for paths we index all mentions, so I think it's reasonable to
do the same here.

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))