:art: Update doc

diff --git a/docs.mk b/docs.mk
index 054b2c63405c383796d84644e7a72824efc523aa..d8f73d624e9ff03f8553c2c04a92fbc91644e3ec 100644 (file)
--- 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 a2ee54f694563ce6c28e42b6a23b6048852d392a..cd1822fdf3d5ffacc82970c48a0341fc23ca149d 100644 (file)
--- 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 955b263c5541631ab28d9d95f3c1a83cc94f6bbd..4fccb6af28383a1dd62841ab739af2e7de36563c 100644 (file)
--- 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 .