3 commits

Author	SHA1	Message	Date
XhmikosR	3afdbe426f	Fix docs/search.json. ... * only loop through `html_pages` * skip pages without a title * stop double escaping the title; use Jekyll's `jsonify` filter to output valid JSON * remove `date` since we don't use it [skip sauce]	2015-12-05 11:30:27 +02:00
XhmikosR	22a10a1096	Tabs to spaces. ... [ci skip]	2015-08-30 00:05:02 +03:00
Mark Otto	73e59c26e6	basic docs search	2014-12-24 02:44:38 -08:00