dont throw an error if there are no abbreviations

This commit was merged in pull request #1.
This commit is contained in:
Göran Heinemann
2025-08-11 11:57:52 +02:00
committed by Henker
parent 2d9c5755a2
commit fca9b5bb65

View File

@@ -169,7 +169,7 @@
} }
context { context {
if (acros.get().len() > 0) { if (acros.get() != none and acros.get().len() > 0) {
{ {
show heading: none show heading: none
heading(numbering: none)[Abkürzungsverzeichnis] heading(numbering: none)[Abkürzungsverzeichnis]