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


View this message in rfc822 format

From: Jonas Bernoulli <jonas <at> bernoul.li>
To: 76530 <at> debbugs.gnu.org
Subject: bug#76530: 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




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.