GNU bug report logs - #76530
Remove or update dir file in the debbugs package

Previous Next

To reply to this bug, email your comments to 76530 AT debbugs.gnu.org.
There is no need to reopen the bug first.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Jonas Bernoulli <jonas <at> bernoul.li>
To: bug-gnu-emacs <at> gnu.org
Subject: Remove or update dir file in the debbugs package
Date: Mon, 24 Feb 2025 21:04:48 +0100

The last commit changed the $direntry name of the manuals, but the
tracked dir file was not updated.  Because that file is being tracked,
running install-info results in uncommitted changes.

I recommend you remove this file; I believe it is not commonly tracked.

Alternatively regenerate it and check in the changes.  I would have done
that myself, but this resulted in more changes than what one would
expect from looking just at 69f4dc14e8cbffbada422fe4e2d5640692a63425.
It appears it makes a difference what version of install-info is used --
another reason not to check in this file.

    Cheers,
    Jonas

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Michael Albinus <michael.albinus <at> gmx.de>
To: Jonas Bernoulli via "Bug reports for GNU Emacs, the Swiss army knife of
 text editors" <bug-gnu-emacs <at> gnu.org>
Cc: 76530 <at> debbugs.gnu.org, Jonas Bernoulli <jonas <at> bernoul.li>
Subject: Re: bug#76530: Remove or update dir file in the debbugs package
Date: Wed, 26 Feb 2025 09:08:04 +0100

Jonas Bernoulli via "Bug reports for GNU Emacs, the Swiss army knife of
text editors" <bug-gnu-emacs <at> gnu.org> writes:

Hi Jonas,

> The last commit changed the $direntry name of the manuals, but the
> tracked dir file was not updated.  Because that file is being tracked,
> running install-info results in uncommitted changes.

Thanks for the heads-up. I've modified the dir file accordingly, pushed
to the ELPA git repo.

> I recommend you remove this file; I believe it is not commonly tracked.

(package-initialize) adds the directories, where packages are installed,
to Info-directory-list. Therefore, the dir file is taken into account.

> Alternatively regenerate it and check in the changes.  I would have done
> that myself, but this resulted in more changes than what one would
> expect from looking just at 69f4dc14e8cbffbada422fe4e2d5640692a63425.
> It appears it makes a difference what version of install-info is used --
> another reason not to check in this file.

In the past, I've experienced problems when generating the dir
file. Therefore, I edit it manually all the time.

The change will appear with debbugs 0.44, to be released in a couple of
days (hopefully). If you want to check it just now, you could install
the recent debbugs 0.43.0.20250225.140711 from the
<https://elpa.gnu.org/devel/> archive.

>     Cheers,
>     Jonas

Best regards, Michael.

Message #16 received at 76530-done <at> debbugs.gnu.org (full text, mbox):

From: Michael Albinus <michael.albinus <at> gmx.de>
To: 76530-done <at> debbugs.gnu.org
Cc: jonas <at> bernoul.li, Stefan Monnier <monnier <at> iro.umontreal.ca>
Subject: Re: bug#76530: Remove or update dir file in the debbugs package
Date: Tue, 11 Mar 2025 10:36:18 +0100

Michael Albinus <michael.albinus <at> gmx.de> writes:

Hi Jonas,

>> I recommend you remove this file; I believe it is not commonly tracked.
>
> (package-initialize) adds the directories, where packages are installed,
> to Info-directory-list. Therefore, the dir file is taken into account.

Finally, I've removed the dir file from git, as recommended by Stefan
Monnier. It is generated automatically when creating a package release.

If you need it it locally in git, Makefile is your friend. Call 'make doc'.

Closing the bug.

>>     Cheers,
>>     Jonas

Best regards, Michael.

Message #19 received at 76530-done <at> debbugs.gnu.org (full text, mbox):

From: Jonas Bernoulli <jonas <at> bernoul.li>
To: Michael Albinus <michael.albinus <at> gmx.de>, 76530-done <at> debbugs.gnu.org
Cc: Stefan Monnier <monnier <at> iro.umontreal.ca>
Subject: Re: bug#76530: Remove or update dir file in the debbugs package
Date: Tue, 11 Mar 2025 13:52:56 +0100

Michael Albinus <michael.albinus <at> gmx.de> writes:

> Michael Albinus <michael.albinus <at> gmx.de> writes:
>
> Hi Jonas,
>
>>> I recommend you remove this file; I believe it is not commonly tracked.
>>
>> (package-initialize) adds the directories, where packages are installed,
>> to Info-directory-list. Therefore, the dir file is taken into account.
>
> Finally, I've removed the dir file from git, as recommended by Stefan
> Monnier. It is generated automatically when creating a package release.

Thanks!

> If you need it it locally in git, Makefile is your friend. Call 'make doc'.

I'm already friends with the Makefile.  ;)

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.