diff options
author | Lucas Ramage <ramage.lucas@protonmail.com> | 2019-04-11 19:21:27 +0000 |
---|---|---|
committer | Göktürk Yüksek <gokturk@gentoo.org> | 2019-12-19 15:52:49 -0500 |
commit | 7f13e9b5f59ee496db5b8af7ab093a17c8f76066 (patch) | |
tree | df74bfd4c0cd50b260d8394d7f756aa24a5f9e2c /Makefile | |
parent | str.tokenize.function.xsl: Fix line endings from CRLF to LF. (diff) | |
download | devmanual-7f13e9b5f59ee496db5b8af7ab093a17c8f76066.tar.gz devmanual-7f13e9b5f59ee496db5b8af7ab093a17c8f76066.tar.bz2 devmanual-7f13e9b5f59ee496db5b8af7ab093a17c8f76066.zip |
Implement search functionality via lunr.js
Bug: https://bugs.gentoo.org/674378
Signed-off-by: Lucas Ramage <ramage.lucas@protonmail.com>
Signed-off-by: Göktürk Yüksek <gokturk@gentoo.org>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -19,6 +19,10 @@ prereq: { echo "dev-libs/libxml2 is required" >&2;\ exit 1; } +index: + @echo -n "var documents = " > documents.js + @./search_index.py text.xml >> documents.js + %.png : %.svg convert $< $@ @@ -42,6 +46,6 @@ validate: prereq && echo "xmllint validation successful" clean: - rm -f $(HTMLS) $(IMAGES) + rm -f $(HTMLS) $(IMAGES) documents.js .PHONY: all prereq validate clean |