]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: small (tmp) Fix
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 23 Jul 2020 16:42:33 +0000 (18:42 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 23 Jul 2020 16:42:33 +0000 (18:42 +0200)
scripts/ensure.sh

index efa3e2e5a794d7dd10b793cb9153b433c0c8b7ab..d3da879eb85f666eb7b81961cb308e6aa8d6d45a 100644 (file)
@@ -1,4 +1,9 @@
 #!/bin/sh
+
+for file in $(find docs -type f -name "*.mdr")
+do mdr $file
+done
+
 [ -d src ] || bash scripts/mdr2mdbook.sh
 
 [ -f src/SUMMARY.md ] || bash scripts/summary.sh > src/SUMMARY.md