From 995f740adfff22aff1105a7e1b2801dfdab43434 Mon Sep 17 00:00:00 2001 From: Ilmari Lauhakangas Date: Mon, 22 Jan 2018 16:48:08 +0200 Subject: Use list.js for Index listing and search List.js - http://listjs.com/ - allows us to paginate the results so the height does not get out of hand. Fuzzy search would be cool: http://listjs.com/docs/fuzzysearch/ ...but it gives too big of a perf hit with our 5700 items. Might try to bribe the creator to look into perf. Thanks a lot to David Tardon for the makefile solution and to Christian Lohmaier for playing a rubber duck. Change-Id: I359eed541470ccaa309b0b6ff5d809a796d9befd Reviewed-on: https://gerrit.libreoffice.org/48335 Reviewed-by: Olivier Hallot Tested-by: Olivier Hallot --- help3xsl/get_media.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'help3xsl/get_media.sh') diff --git a/help3xsl/get_media.sh b/help3xsl/get_media.sh index 12f636b2b8..bb1bf80344 100755 --- a/help3xsl/get_media.sh +++ b/help3xsl/get_media.sh @@ -33,6 +33,7 @@ cp help.html $outDir cp index2.html $outDir'/'$productVersion'/index.html' cp help.js $outDir'/'$productVersion'/' cp jquery-3.1.1.min.js $outDir'/'$productVersion'/' +cp list.min.js $outDir'/'$productVersion'/' cp normalize.css $outDir'/'$productVersion'/' cp default.css $outDir'/'$productVersion'/' -- cgit