Re: Preferred install file: plain debian/install or debian/pkg.install ?

[Dominique Dumont]

On Tuesday, 28 July 2020 11:12:05 CEST Andrey Rahmatullin wrote:
> No, it's just documented in the common place, debhelper(7):

Oh.. ok.. Thanks for the reminder.

All the best