Add fine-grainded arrow ligation control (#2776)

This commit is contained in:
Belleve 2025-05-19 20:26:33 -10:00 committed by GitHub
parent effc731862
commit 1af116c52e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 262 additions and 127 deletions

View file

@ -10,6 +10,11 @@ export default async function processLigSetCherryPicking(argv, dirs) {
const md = new MdCol("Section-Cherry-Picking-Ligation-Sets");
const headerPath = path.resolve(dirs.fragments, "description-cherry-picking-ligation-sets.md");
md.log(await fs.promises.readFile(headerPath, "utf-8"));
for (const gr in ligData.rawSets) {
if (!ligData.rawSets[gr].desc) continue;
if (!ligData.rawSets[gr].showAsCherryPicking) continue;
md.log(` - \`${gr}\`: ${ligData.rawSets[gr].desc}.`);
}
for (const gr in ligData.cherry) {
md.log(` - \`${gr}\`: ${ligData.cherry[gr].desc}.`);
}

View file

@ -12,6 +12,7 @@ export default async function processLigSetPreDef(argv, dirs) {
md.log(await fs.promises.readFile(headerPath, "utf-8"));
for (const gr in ligData.rawSets) {
if (!ligData.rawSets[gr].desc) continue;
if (ligData.rawSets[gr].showAsCherryPicking) continue;
const readmeDesc =
ligData.rawSets[gr].readmeDesc ||
`Default ligation set would be assigned to ${ligData.rawSets[gr].desc}`;