summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2026-09-22 11:25:05 -0700
committerCliff Click <cliffc@acm.org>2026-09-22 11:25:05 -0700
commit29fb671e69f90ad3b04c6fa8d746caf857f89e77 (patch)
tree2f39d082f8a6de6a2b60b66406f8c9f0190d25c2 /.github/workflows
parent1d961838cff168a101069d08a8ab6594f49f0911 (diff)
downloadSimple-29fb671e69f90ad3b04c6fa8d746caf857f89e77.tar.gz
Simple-29fb671e69f90ad3b04c6fa8d746caf857f89e77.zip
Add shared graph viewer to all chapters
Diffstat (limited to '.github/workflows')
-rwxr-xr-x.github/workflows/linearize.sh4
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[@]}"