[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: can we remove generated files from git?

From: Per Bothner
Subject: Re: can we remove generated files from git?
Date: Thu, 3 Jan 2019 08:49:28 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.1

On 1/3/19 5:39 AM, Gavin Smith wrote:
On Tue, Jan 01, 2019 at 04:06:33PM -0800, Per Bothner wrote:
These files seem to be always out of date:


This makes 'git status' and 'git diff' a pain.

Can we remove them from the git repository, and add them to .gitignore ?

There may be other generated files, but they don't change as soon
as I try autogen.sh+configure+make.

I didn't have this problem.  I tried configuring in-source to see if I
could replicate it.  I got some changes to the m4 files, which I've
committed.  Let's see if that solves the problem.  I couldn't replicate
the problem with the *.po files.  I've run "make update-po" to see if
that will make a difference.

I tried again and it's much better.

does results in:
        modified:   tp/Texinfo/XS/config.in
        modified:   tp/Texinfo/XS/gnulib/m4/libtool.m4

These should removed from the repository.

Configure doesn't add any diffs, but make adds:

Untracked files:
  (use "git add <file>..." to include in what will be committed)


This should be in .gitignore.

        --Per Bothner
address@hidden   http://per.bothner.com/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]