]> Nishi Git Mirror - gwion.git/commitdiff
:art: Ensure summary is rebuild on tree change
authorfennecdjay <astor.jeremie@wanadoo.fr>
Mon, 11 Nov 2019 11:29:51 +0000 (12:29 +0100)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Mon, 11 Nov 2019 11:29:51 +0000 (12:29 +0100)
scripts/mdr2mdbook.sh

index 968804b14173ca7baf347e0ca59ec7f310a34106..d5618015acfa002e80d63946790723254cde8f59 100644 (file)
@@ -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