diff options
Diffstat (limited to 'util/util_readme')
| -rwxr-xr-x | util/util_readme/util_readme.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/util/util_readme/util_readme.sh b/util/util_readme/util_readme.sh index 986c393ca8..41ee4087fe 100755 --- a/util/util_readme/util_readme.sh +++ b/util/util_readme/util_readme.sh @@ -21,10 +21,8 @@ DESCRIPTION_FILES=$(find "$UTIL_DIR" -name "description.md" | sort) echo -n "" > "$UTIL_DIR/README.md" { - echo - echo "[//]: # ( DO NOT EDIT - AUTOGENERATED FILE )"; - echo - echo "[//]: # ( RUN 'util/util_readme/util_readme.sh' to regenerate )"; + echo "<!-- DO NOT EDIT - AUTOGENERATED FILE -->"; + echo "<!-- RUN 'util/util_readme/util_readme.sh' to regenerate -->"; echo; echo "# Utilities"; echo "${SUMMARY}" |