add definition to first abbreviation instance

This commit is contained in:
2025-09-23 22:36:31 +02:00
parent 89ab7ef100
commit 89b9c3805f

View File

@@ -14,7 +14,11 @@
}
"(" + abbrs.pairs().map((v) => { v.at(0) + ":\"" + v.at(1) + "\"" }).join(",") + ")"
});
abbreviation;
if type(text) != type(none) {
text + " (" + abbreviation + ")";
} else {
abbreviation;
}
}
#let abbrlist() = {