3 Commits

Include renames

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: 23545aa7ea git-subtree-split: 106142b25c	2017-05-25 10:01:42 +02:00