diff --git a/.github/scripts/get-contributing.sh b/.github/scripts/get-contributing.sh index 0722a7c500..763d49fdfd 100755 --- a/.github/scripts/get-contributing.sh +++ b/.github/scripts/get-contributing.sh @@ -1,6 +1,6 @@ #!/bin/bash -DEST="../../en/resources/contributing.md" +DEST="./en/resources/contributing.md" # This script replaces the contents of a section with the contents from # the annotated source address. @@ -8,23 +8,38 @@ DEST="../../en/resources/contributing.md" level='' src='' while IFS= read -r line; do + # echo "TOP LINE: $line" if [[ -n "$src" ]] && [[ "$line" != '#'* || "$line" == "$level"'#'* ]]; then + echo "AFTER top: level: $Level, lineL $line src: $src" continue + else + echo "NOT Continue: "$src": "$line"" fi src='' + # gets headers if [[ "$line" == '#'* ]]; then + # echo "after Continue: "$src": "$line"" title=${line##*\#} level="${line:0:$((${#line} - ${#title}))}" elif [[ "$line" == '