diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py index da10575f32..659c6275f5 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -180,9 +180,10 @@ def _extract_directives(directive_groups, formatting, page): storopt = directive_groups['options'] for variablelist in t.iterfind('.//variablelist'): klass = variablelist.attrib.get('class') + searchpath = variablelist.attrib.get('xpath','./varlistentry/term/varname') storvar = directive_groups[klass or 'miscellaneous'] #