File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -19,11 +19,12 @@ jobs:
1919 run : |
2020 find . -type f -name "*.md" \
2121 ! -path "./README.md" \
22+ ! -path "./INDEX.md" \
2223 ! -path "./.github/*" \
2324 | sort \
2425 | awk '
2526 {
26- path = substr($0, 3) # remove "./"
27+ path = substr($0, 3)
2728 n = split(path, parts, "/")
2829 group = parts[1]
2930
4041 print indent "- [" file "](" path ")"
4142 }' > INDEX.md
4243
43- awk '
44- BEGIN { in_block=0 }
45- /<!-- AUTO-GENERATED-START -->/ {
46- print
47- while ((getline line < "INDEX.md") > 0) print line
48- close("INDEX.md")
49- in_block=1
50- next
51- }
52- /<!-- AUTO-GENERATED-END -->/ {
53- in_block=0
54- print
55- next
56- }
57- !in_block { print }
58- ' README.md > README.new.md
59-
60- mv README.new.md README.md
61- rm INDEX.md
62-
6344 - name : Commit and push if changed
6445 run : |
6546 if git diff --quiet; then
You can’t perform that action at this time.
0 commit comments