You were right, of course. I should have run "quilt push -a" before checking the distcheck results.
> In any case, if it works for you and no one is actually expecting to use dist / distcheck from the Ubuntu package, then the difference is moot.
Still I'd prefer to have a proper patch for this, I'll change my branch and the debdiff according to your suggestions tomorrow.
You were right, of course. I should have run "quilt push -a" before checking the distcheck results.
> In any case, if it works for you and no one is actually expecting to use dist / distcheck from the Ubuntu package, then the difference is moot.
Still I'd prefer to have a proper patch for this, I'll change my branch and the debdiff according to your suggestions tomorrow.