|
| 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] |