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

To: debian-devel@lists.debian.org, Andrey Rahmatullin <wrar@debian.org>
Subject: Re: Preferred install file: plain debian/install or debian/pkg.install ?
From: Dominique Dumont <dod@debian.org>
Date: Tue, 28 Jul 2020 16:35:04 +0200
Message-id: <[🔎] 2113895.q579EUjZsE@ylum>
Reply-to: dod@debian.org
In-reply-to: <[🔎] 20200728091205.GD2288@belkar.wrar.name>
References: <[🔎] 2888799.kJ0VIbpgD4@ylum> <[🔎] 20200728091205.GD2288@belkar.wrar.name>

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

Reply to:

References:
- Preferred install file: plain debian/install or debian/pkg.install ?
  - From: Dominique Dumont <dod@debian.org>
- Re: Preferred install file: plain debian/install or debian/pkg.install ?
  - From: Andrey Rahmatullin <wrar@debian.org>

Prev by Date: Bug#745656: marked as done (are binary-indep -dev packages really worth the space savings?)
Next by Date: Bug#837606: closed by Ansgar <ansgar@debian.org> (Re: general: system freeze)
Previous by thread: Re: Preferred install file: plain debian/install or debian/pkg.install ?
Next by thread: C++ symbols files (Re: GCC 10 transition)
Index(es):
- Date
- Thread