doc: all roles

1 files changed, 12 insertions, 3 deletions

diff --git a/check b/check
index 0fdede0..795e2f7 100755
--- a/check
+++ b/check
@@ -4,6 +4,15 @@
 
 set -eu -o pipefail
 
+cat_with_sep()
+{
+    for x in "$@"
+    do
+	cat "$x"
+	echo
+    done
+}
+
 quiet=-q
 hideok=chronic
 if [ "$#" -gt 0 ]
@@ -23,9 +32,9 @@ trap 'rm -rf "$dir"' EXIT
 
 rm -f test.log test.py
 cp subplot.md "$dir"
-cat subplot.md roles/*/subplot.md > "$dir/subplot.md"
-cat subplot/*.py roles/*/subplot.py > "$dir/subplot.py"
-cat subplot/*.yaml roles/*/subplot.yaml > "$dir/subplot.yaml"
+cat_with_sep subplot.md roles/*/subplot.md > "$dir/subplot.md"
+cat_with_sep subplot/*.py roles/*/subplot.py > "$dir/subplot.py"
+cat_with_sep subplot/*.yaml roles/*/subplot.yaml > "$dir/subplot.yaml"
 
 (
     set -eu -o pipefail