[ivette/doc] make serve for searching

ivette/Makefile

@@ -8,7 +8,7 @@ DOME_API=./src/frama-c
 COPYRIGHT=CEA LIST / LSL
 # --------------------------------------------------------------------------
 
-.PHONY: all app dev doc dist typecheck lint
+.PHONY: all app dev doc serve dist typecheck lint
 
 all: typecheck lint app
 
@@ -31,7 +31,9 @@ lint: dome-pkg dome-templ
 GUIDES= src/dome/doc/guides
 VERSION=$(shell echo "console.log(require('./package.json').version)" | node -)
 
-doc:
+NODEBIN= ./node_modules/.bin
+
+doc: $(NODEBIN)/typedoc
 	@echo "[Ivette] documentation"
 	@yarn run typedoc
 	@mkdir -p doc/html/guides
@@ -48,6 +50,15 @@ doc:
 	@echo "[Ivette] main page"
 	@echo "   file://$(PWD)/doc/html/index.html"
 
+# For searching the doc
+serve: $(NODEBIN)/serve
+	@echo "[Ivette] serve doc documentation"
+	@yarn run serve doc/html
+
+$(NODEBIN)/%:
+	@echo "[Node] install package $*"
+	yarn add -D $*
+
 # --------------------------------------------------------------------------
 # --- Ivette Plugins
 # --------------------------------------------------------------------------

ivette/doc/pandoc/template.html

@@ -66,9 +66,5 @@
   </div>
   <div class="overlay"></div>
   <script src="../assets/js/main.js"></script>
-  <script>
-   if (location.protocol == 'file:')
-     document.write('<script src="../assets/js/search.js"><' + '/script>');
-  </script>
 </body>
 </html>

ivette/package.json

@@ -44,6 +44,7 @@
     "html-loader": "1.0.0-alpha.0",
     "jsdoc": "^3.6.3",
     "react-hot-loader": "^4.12.20",
+    "serve": "^11.3.0",
     "typedoc": "^0.17.6",
     "typedoc-plugin-external-module-name": "^3.1.0",
     "typescript": "^3.8.3",