From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Thu, 20 Jun 2019 15:38:23 +0000 (+0200)
Subject: :art: Update doc
X-Git-Tag: nightly~2415
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=536ddf513df71a86613b45ff57087ea5ed8410d9;p=gwion.git

:art: Update doc
---

diff --git a/docs.mk b/docs.mk
index 054b2c63..d8f73d62 100644
--- a/docs.mk
+++ b/docs.mk
@@ -2,7 +2,7 @@ mdr_list = $(shell find -regextype posix-egrep -regex '.*.mdr$$')
 md_list  = $(mdr_list:.mdr=.md)
 
 _docserver_launch = $(DOCTOOL) -q serve & echo $$! > .server_pid
-_docserver_kill   = kill $$(cat .server_pid); rm .server_pid || true
+_docserver_kill   = [ -f .server_pid ] && (kill $$(cat .server_pid); rm .server_pid) || true
 
 _mdr_wait=$$(inotifywait -q -r docs --format "%w%f" | tail -n1)
 
@@ -57,15 +57,16 @@ _interm=(cat log; $(call _test_check) && $(call _interm_status))
 
 _noterm_log=sed 's/$$/\<br\/>/' log
 _noterm_status=echo -e "$(NOTERM_OK)" || echo -e "$(NOTERM_NOT_OK)"
-_noterm_header=echo '<blockquote><p style=$(CSS)>'
+#_noterm_header=echo '<blockquote><p style=$(CSS)>'
+_noterm_header=echo '<p style=$(CSS)>'
 _noterm_test=$(call _test_check) && $(call _noterm_status)
-_noterm_footer=echo '</p></blockquote>'
+_noterm_footer=echo '</p>'
 _noterm=($(call _noterm_header); $(call _noterm_log); $(call _noterm_test); $(call _noterm_footer))
 DOCTOOL ?= mkdocs
 
 # output box css
-BACKGROUND    = background-color:\#e3e3e3;
-BORDER        = border: 5px solid \#343131;
+BACKGROUND    = background-color:\#f2f2f2;
+BORDER        = border: 5px solid \#546e7a;
 PADDING       = padding: 10px;
 MARGIN        = margin-right: 20%; margin-left: 20%;
 BORDER_RADIUS = -moz-border-radius: 15px; -webkit-border-radius: 15px;
diff --git a/docs/WIP_Plugins.mdr b/docs/WIP_Plugins.mdr
index a2ee54f6..cd1822fd 100644
--- a/docs/WIP_Plugins.mdr
+++ b/docs/WIP_Plugins.mdr
@@ -1,4 +1,7 @@
 # Writing a Gwion plugin
+
+> THIS IS OUTDATED. please look at the source code in src/lib/ instead
+
   * [getting started]
 
 ## Getting started
diff --git a/help/doc-config.sh b/help/doc-config.sh
index 955b263c..4fccb6af 100644
--- a/help/doc-config.sh
+++ b/help/doc-config.sh
@@ -16,6 +16,8 @@ list_dir() {
 echo "site_name: Gwion"
 echo "theme: windmill"
 echo "repo_url: https://github.com/fennecdjay/Gwion"
+echo "site_description: a strongly timed musical programming language"
+echo "site_author: Jérémie Astor"
 echo "nav:"
 echo "  - 'Welcome' : index.md"
 mv docs/index.md .