3 Commits

Author	SHA1	Message	Date
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
Andreas Dangel	b14da68b5a	Update theme from https://github.com/tomjohnson1492/documentation-theme-jekyll	2017-05-25 10:22:39 +02:00
Andreas Dangel	b193bb28d8	Add 'docs/' from commit '106142b25c9387ffd002437027ced1b04f494205' ... git-subtree-dir: docs git-subtree-mainline: 23545aa7ea599faf17737de9879733a1bde700d1 git-subtree-split: 106142b25c9387ffd002437027ced1b04f494205	2017-05-25 10:01:42 +02:00