diff options
Diffstat (limited to '.github/workflows/linearize.sh')
| -rwxr-xr-x | .github/workflows/linearize.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/linearize.sh b/.github/workflows/linearize.sh index d4292fe2..ea3499b5 100755 --- a/.github/workflows/linearize.sh +++ b/.github/workflows/linearize.sh @@ -47,7 +47,7 @@ while read -r chapter; do done <<< "$all_authors" # Get the first and last dates this chapter was modified. - root_files=(README.md LICENSE pom.xml .gitignore .dir-locals.el transpile-tests graph) + root_files=(README.md LICENSE pom.xml .gitignore .dir-locals.el transpile-tests graph build-support) author_root_files=() if [[ $chapter = chapter01 ]]; then # Only include the commit date of the root files for chapter01. @@ -71,7 +71,7 @@ while read -r chapter; do git add . # Add the shared files in the root, except for README.md and pom.xml. - root_files=(LICENSE .gitignore .dir-locals.el transpile-tests graph) + root_files=(LICENSE .gitignore .dir-locals.el transpile-tests graph build-support) cp -R "${root_files[@]/#/"$repo/"}" . git add "${root_files[@]}" |