Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-17 Thread Bill Allombert
On Sun, Aug 16, 2009 at 11:36:29AM -0700, Russ Allbery wrote: > Bill Allombert writes: > > On Fri, Aug 14, 2009 at 09:52:59AM -0700, Russ Allbery wrote: > > >> The generated file should contain a section like: > >> > >> @dircategory Individual utilities > >> @direntry > >> * example: (example).

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-16 Thread Russ Allbery
Bill Allombert writes: > On Fri, Aug 14, 2009 at 09:52:59AM -0700, Russ Allbery wrote: >> The generated file should contain a section like: >> >> @dircategory Individual utilities >> @direntry >> * example: (example). An example info directory entry. >> @end direntry >> >> which w

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-16 Thread Bill Allombert
On Fri, Aug 14, 2009 at 09:52:59AM -0700, Russ Allbery wrote: > Bill Allombert writes: > > >> Reading the comment I will assume that debiandoc2info is the only package > >> that need to be fixed and waive this part. I will also try to get > >> debiandoc2info fixed. > > > Hmm. debiandoc2info is j

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-16 Thread Bill Allombert
On Fri, Aug 14, 2009 at 12:14:16PM -0700, Russ Allbery wrote: > Raphael Hertzog writes: > > On Fri, 14 Aug 2009, Russ Allbery wrote: > > >> --- a/policy.sgml > >> +++ b/policy.sgml > >> @@ -8867,7 +8867,10 @@ name ["syshostname"]: > >> scripts. This is no longer necessary. The insta

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-14 Thread Russ Allbery
Raphael Hertzog writes: > On Fri, 14 Aug 2009, Russ Allbery wrote: >> --- a/policy.sgml >> +++ b/policy.sgml >> @@ -8867,7 +8867,10 @@ name ["syshostname"]: >> scripts. This is no longer necessary. The installation >> system now uses dpkg triggers. >> >> -

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-14 Thread Raphael Hertzog
On Fri, 14 Aug 2009, Russ Allbery wrote: > --- a/policy.sgml > +++ b/policy.sgml > @@ -8867,7 +8867,10 @@ name ["syshostname"]: > scripts. This is no longer necessary. The installation > system now uses dpkg triggers. > > - This file must not be included

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-14 Thread Russ Allbery
Bill Allombert writes: > On Tue, Aug 11, 2009 at 10:56:18AM -0700, Russ Allbery wrote: >> I'm happy to add a statement that packages should depend on dpkg (>= >> 1.15.4) | install-info if they contain info documents. I think that's >> a reasonable thing to do as part of the transition. Would th

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-14 Thread Russ Allbery
Bill Allombert writes: >> Reading the comment I will assume that debiandoc2info is the only package >> that need to be fixed and waive this part. I will also try to get >> debiandoc2info fixed. > Hmm. debiandoc2info is just generating a texinfo file and call makeinfo > on it. makeinfo does not g

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-14 Thread Bill Allombert
On Fri, Aug 14, 2009 at 11:51:19AM +0200, Bill Allombert wrote: > > > 4) While I have no technical objection to the 'START-INFO-DIR-ENTRY' / > > > 'END-INFO-DIR-ENTRY' bits, currently at least one program generating > > > info files (debiandoc2info) does not follow them. Packages using it to > > >

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-14 Thread Bill Allombert
On Tue, Aug 11, 2009 at 10:56:18AM -0700, Russ Allbery wrote: > Bill Allombert writes: > > > 1) As written, the policy change induce maintainers to make changes to > > their packages that will cause them to have a bug. This is not > > acceptable. > > > 2) As discussed previously, there are ways

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-13 Thread Russ Allbery
Russ Allbery writes: > Bill Allombert writes: >> 1) As written, the policy change induce maintainers to make changes to >> their packages that will cause them to have a bug. This is not >> acceptable. >> 2) As discussed previously, there are ways to tweak the process to >> avoid this bug while

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-11 Thread Bill Allombert
On Tue, Aug 11, 2009 at 06:54:12PM +0200, Raphael Hertzog wrote: > On Tue, 11 Aug 2009, Bill Allombert wrote: > > 1) As written, the policy change induce maintainers to make changes to their > > packages that will cause them to have a bug. This is not acceptable. > > > > 2) As discussed previousl

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-11 Thread Russ Allbery
Bill Allombert writes: > 1) As written, the policy change induce maintainers to make changes to > their packages that will cause them to have a bug. This is not > acceptable. > 2) As discussed previously, there are ways to tweak the process to avoid > this bug while keeping the advantage of this

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-11 Thread Raphael Hertzog
On Tue, 11 Aug 2009, Bill Allombert wrote: > 1) As written, the policy change induce maintainers to make changes to their > packages that will cause them to have a bug. This is not acceptable. > > 2) As discussed previously, there are ways to tweak the process to > avoid this bug while keeping t

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-11 Thread Bill Allombert
On Fri, Aug 07, 2009 at 03:37:56PM -0700, Russ Allbery wrote: > Sven Joachim writes: > > > Section 12.2, "Info documents", contains outdated information. Nowadays > > info files are installed via a dpkg trigger provided by the install-info > > package, and maintainer scripts should not invoke in

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-10 Thread Raphael Hertzog
On Fri, 07 Aug 2009, Russ Allbery wrote: > Here's a proposed update to the Policy section on info documents. I'm > looking for feedback or seconds. Seconded but: > + at /usr/share/info/dir on your system and choose > + the most relevant (or create a new section if none of the > +

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-09 Thread Russ Allbery
Guillem Jover writes: > On Fri, 2009-08-07 at 15:37:56 -0700, Russ Allbery wrote: >> + The install-info program maintains a directory of >> + installed info documents in /usr/share/info/dir for >> + the use of info readers. >> +It was previously necessary for packages insta

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-09 Thread Guillem Jover
Hi! On Fri, 2009-08-07 at 15:37:56 -0700, Russ Allbery wrote: > Here's a proposed update to the Policy section on info documents. I'm > looking for feedback or seconds. > > diff --git a/policy.sgml b/policy.sgml > index ffc721f..2a8934a 100644 > --- a/policy.sgml > +++ b/policy.sgml > @@ -8846,3

Bug#538665: debian-policy: "Info documents" section is outdated

2009-08-07 Thread Russ Allbery
Sven Joachim writes: > Section 12.2, "Info documents", contains outdated information. Nowadays > info files are installed via a dpkg trigger provided by the install-info > package, and maintainer scripts should not invoke install-info at all. > Actually, packages using dh_installinfo will not ca

Bug#538665: debian-policy: "Info documents" section is outdated

2009-07-26 Thread Sven Joachim
merge 534638 538665 thanks Uh, somehow I missed #534638. Sorry for the noise. Embarrassed, Sven -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Processed: Re: Bug#538665: debian-policy: "Info documents" section is outdated

2009-07-26 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > merge 534638 538665 Bug#534638: debian-policy: Section about Info documents needs to be updated Bug#538665: debian-policy: "Info documents" section is outdated Merged 534638 538665. > thanks Stopping processing here. Please c

Bug#538665: debian-policy: "Info documents" section is outdated

2009-07-26 Thread Sven Joachim
Package: debian-policy Version: 3.8.2.0 Severity: normal Section 12.2, "Info documents", contains outdated information. Nowadays info files are installed via a dpkg trigger provided by the install-info package, and maintainer scripts should not invoke install-info at all. Actually, packages using