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

Previous Next

Package: emacs;

Reported by: Jonas Bernoulli <jonas <at> bernoul.li>

Date: Mon, 24 Feb 2025 20:06:01 UTC

Severity: normal

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

Bug is archived. No further changes may be made.

Full log

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.
This bug report was last modified 68 days ago.

Previous Next

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