|
From: | Jean Abou Samra |
Subject: | Re: bizarre behaviour of `output-filename` |
Date: | Sat, 21 Oct 2023 12:40:28 +0200 |
I think it's a side effect of the mechanism that makes my-indent = 5 \paper { indent = #my-indent } work.
[Prev in Thread] | Current Thread | [Next in Thread] |