Andreas Dangel 955ab11922 [doc] Use the rule names for the search index, include language
This provides better user experience for the search box on the
documentation page. The search results show now the rule name,
the language and the ruleset name.
2018-04-09 11:36:25 +02:00
..