2 commits

Author	SHA1	Message	Date
Rouven Weßling	384ffac2fd	Don't generate unnecessary JS files. ... Also exclude jquery.highlight from the nosearch version, as it's not needed there.	2015-06-01 00:29:57 +02:00
Robert Lord	0aff03f8da	Fixes #77, update sites without search ... Sites without search now do not include search.js or lunr.js, making the javascript for those pages much faster to load.	2014-06-11 21:58:33 -07:00