Re: bizarre behaviour of `output-filename`

[Jean Abou Samra]

I think it's a side effect of the mechanism that makes

my-indent = 5
\paper {
  indent = #my-indent
}

work.