Convert docbook documentation to markdown, add build mechanism using pandoc

docs/gen-docs.sh

@@ -0,0 +1,33 @@
+#!/bin/sh
+
+# Source documentation in markdown lives in the src/ folder (html and manpages).
+# This is what you should edit if you want to make changes to the documentation.
+# From these sources, this script generates actual manpages and general
+# documentation in html using pandoc.
+
+if ! [ -x "$(command -v pandoc)" ]; then
+    echo "Pandoc is missing, please install it first"
+    exit 1
+fi
+
+# First we generate manpages
+
+echo "Manpages generation …"
+
+for src in src/man/*.md
+    do
+        pandoc -f markdown -t man "$src" > manpages/"$(basename "$src" .md)" && echo "$(basename "$src" .md) successfully built in docs/manpages directory" || echo "Unable to generate manpage from $src"
+done
+
+# We then generate the rest of the documentation
+
+echo ""
+
+echo "HTML generation …"
+
+
+for src in src/html/*.md
+    do
+        pandoc -f markdown -t html "$src" > html/"$(basename "$src" .md)".html && echo "$(basename "$src" .md).html successfully built in docs/html directory" || echo "Unable to generate html from $src"
+done
+