From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Mon, 11 Nov 2019 11:29:51 +0000 (+0100)
Subject: :art: Ensure summary is rebuild on tree change
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=17e83c1707aff764c01934972710b39d989a5088;p=gwion.git

:art: Ensure summary is rebuild on tree change
---

diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh
index 968804b1..d5618015 100644
--- a/scripts/mdr2mdbook.sh
+++ b/scripts/mdr2mdbook.sh
@@ -38,8 +38,10 @@ runall() {
   done
 }
 
-if [ $1 ]
-#then [[ $1 == *".mdr" ]] && doc2src $1
-then [ -f $1 ] && doc2src $1
+if [[ "$1" == *".mdr" ]]
+  then doc2src $1
+  if [ "$(git status -s | grep docs)" ]
+  then sh scripts/summary.sh > src/SUMMARY.md
+  fi
 else runall
 fi