diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-03 14:03:48 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-03 14:03:48 -0700 |
| commit | 22df891893d30e9906d0b14fc3ae5d8e67d500b2 (patch) | |
| tree | 2bda142f92febc8b26f1cabd4bb0c46d1864f34b /.github | |
| parent | c3958e34c0de21df52e57e47e4f47ffe6464f138 (diff) | |
| download | Simple-22df891893d30e9906d0b14fc3ae5d8e67d500b2.tar.gz Simple-22df891893d30e9906d0b14fc3ae5d8e67d500b2.zip | |
Chapter renumber, and split ch 17
Renumber chapters 10a, 10b, 11, 12, 13, 14 -> 10, 11, 13, 12, [11,14].
Split ch 17 into a 17a and 17b; shuffle around im/mutable syntax to be consistent, and present it more slowly.
THe new immutable syntax is pushed through all later chapters
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/workflows/linearize.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/linearize.sh b/.github/workflows/linearize.sh index ef079bb8..7ce8e52c 100755 --- a/.github/workflows/linearize.sh +++ b/.github/workflows/linearize.sh @@ -83,6 +83,9 @@ while read -r chapter; do # This is the first commit; setup shared files. cp "$repo"/{README.md,pom.xml} . mkdir docs + # Shared type-domain illustrations are referenced from chapter READMEs. + cp "$repo"/docs/type-*.svg docs/ + git add docs/type-*.svg # Remove links to chapters. sed -Ei 's,\[Chapter ([0-9]+[a-z]?)\]\(chapter0?\1/README\.md\),Chapter \1,' README.md # Change to a JAR and delete the modules, for a single-project structure. @@ -107,6 +110,9 @@ while read -r chapter; do # Repair links for this chapter. sed -Ei 's,\bdocs/,,' "docs/$chapter/README.md" sed -Ei 's,\(\.\./isa/,(../../isa/,g' "docs/$chapter/README.md" + # Source links are chapter-relative in the main tree; sources live at the + # repository root in a standalone chapter checkout. + sed -Ei 's,\((\./)?src/,(../../src/,g' "docs/$chapter/README.md" git add README.md "docs/$chapter/README.md" pom.xml # Create a commit for the chapter, using the metadata. |