:art: Update

diff --git a/docs/BuildingTheDocs.mdr b/docs/BuildingTheDocs.mdr
index 99190c1c9e1213959874e94932dd00c7ec89ad9e..e71e25b18c22e36e2510f89b9ba0b50a5cbfaa76 100644 (file)
--- a/docs/BuildingTheDocs.mdr
+++ b/docs/BuildingTheDocs.mdr
@@ -1,7 +1,12 @@
 # How this doc is build
 
-## mdr
+## This is basically markdown
+All documentation files are in docs.
+They are [mdr](https://github.com/fennecdjay/mdr) files.
+Along with them is a `list` file, helping to build the summary.
 
 ## makefile
 
-## mkdocs
+## sciprt
+
+## Mdbook

diff --git a/docs/Contributors.mdr b/docs/Contributors.mdr
new file mode 100644 (file)
index 0000000..2865f15
--- /dev/null
+++ b/docs/Contributors.mdr
@@ -0,0 +1,7 @@
+# Contributors
+
+@exec git show "master:README.md" > master_readme.md
+
+@exec sed "$(/usr/bin/cat -n master_readme.md | grep "ALL-CONTRIBUTOR" | cut -f1 | tr '\n' '\t' | sed 's/\t/,/')!d" master_readme.md
+
+@exec rm master_readme.md

diff --git a/docs/Reference/ControlFlow/ControlFlow.mdr b/docs/Reference/ControlFlow/ControlFlow.mdr
deleted file mode 100644 (file)
index 2e9c185..0000000
--- a/docs/Reference/ControlFlow/ControlFlow.mdr
+++ /dev/null
@@ -1,4 +0,0 @@
-# Control Flow
-
-## Repeats
-let start simple ;-)  

diff --git a/docs/list b/docs/list
index 56157449d340df644417faad48ceb5c54bab4877..a6e92973f93cb69803c72b47e3df0405345bdd97 100644 (file)
--- a/docs/list
+++ b/docs/list
@@ -6,3 +6,6 @@ Contributing
 
 Benchmarks.md
 BuildingTheDocs.md
+
+-----
+Contributors.md

diff --git a/scripts/ensure.sh b/scripts/ensure.sh
index b836f707bea474db7fdeb7ef5ccb331b63a93c38..82bd905ff75896837d2c05c9ff8a243c0cd8973c 100644 (file)
--- a/scripts/ensure.sh
+++ b/scripts/ensure.sh
@@ -4,8 +4,9 @@ cat <<EOF > book.toml
 [book]
 authors = ["Jérémie Astor"]
 title = "Gwion"
-theme = "rust"
+
 [output.html]
+default-theme = "rust"
 additional-css = ["custom.css"]
 
 [output.html.fold]

diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh
index 0997cb6a3cd408877573694f5bde863d3444581b..c0a1e51b7bb7f5bba8580619bfc09f2cedb8dd36 100644 (file)
--- a/scripts/mdr2mdbook.sh
+++ b/scripts/mdr2mdbook.sh
@@ -35,6 +35,8 @@ runall() {
 }
 
 if [ $1 ]
-then doc2src $1
+#then [[ $1 == *".mdr" ]] && doc2src $1
+then [ -f $1 ] && doc2src $1
+echo $1
 else runall
 fi

diff --git a/scripts/summary.sh b/scripts/summary.sh
index 6fded10e96f507f01b27381c36b8a94babc60622..2ad29231b6fb06b1c2049a1b894be7bed89a1c88 100644 (file)
--- a/scripts/summary.sh
+++ b/scripts/summary.sh
@@ -30,8 +30,8 @@ entry() {
 handle() {
   while read -r line
   do
-  if [ -z "$line" ]
-  then echo ""
+  if [ -z "$line" ] || [[ "$line" == "-----"* ]] 
+  then echo "$line"
        continue
   fi
   if [ -f "$1/${line}r" ]

diff --git a/scripts/watch.sh b/scripts/watch.sh
index 5943fa7f3e6a7e11b62505685583ce24a79bf3c0..50088aaa329e06eda635649af2d028d68a8f8af5 100644 (file)
--- a/scripts/watch.sh
+++ b/scripts/watch.sh
@@ -5,6 +5,7 @@ wait() {
 }
 
 while true
-do [[ $1 == *".mdr" ]] &&
-  sh scripts/mdr2mdbook.sh $(wait);
+do
+  file=$(wait)
+  sh scripts/mdr2mdbook.sh $file;
 done