Skip to content

adopt-project.py and README.md: the Makefile follow-up names a kept makefile or GNUmakefile GNU make reads first, and where a case-blind disk writes the shape's; README says which Makefile exports CONTRACTS_DIR (#977) - #1046

Merged
brettheap merged 3 commits into
mainfrom
fix/977-lower-case-makefile
Oct 20, 2026
Merged

adopt-project.py and README.md: the Makefile follow-up names a kept makefile or GNUmakefile GNU make reads first, and where a case-blind disk writes the shape's; README says which Makefile exports CONTRACTS_DIR (#977)#1046
brettheap merged 3 commits into
mainfrom
fix/977-lower-case-makefile

Merge branch 'main' into fix/977-lower-case-makefile

db92198
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar