Index: docs/src/common_demo_functions.sh |
diff --git a/docs/src/common_demo_functions.sh b/docs/src/common_demo_functions.sh |
index f2f54c89e595563a8328c752ac26eef61487387a..af7c906554ac09976c4edf2957e0108b74f84b0a 100755 |
--- a/docs/src/common_demo_functions.sh |
+++ b/docs/src/common_demo_functions.sh |
@@ -47,7 +47,7 @@ run() { |
} |
comment() { |
- echo "# $@" |
+ echo "###COMMENT### $@" |
} |
# run a silent command |