Find a way to have wiki indexed - yes, we sill need it :( #138

bin/mkdoc-install.sh

@@ -1,5 +0,0 @@
-#!/bin/bash
-
-sudo apt update
-sudo apt install ncftp
-pip install mkdocs mkdocs-ezlinks-plugin

bin/mkdocs-install.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+sudo apt update
+sudo apt install ncftp
+
+# sudo apt install python-pip for 'pip'
+sudo apt install python3-pip
+
+# pip did not work for  in my case?
+pip install mkdocs mkdocs-ezlinks-plugin

bin/mkdocs-run.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+
+shopt -s extglob
+cd mkdocs
+mkdir docs
+cp -r ../!(mkdocs) docs
+mkdocs build