|
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: po/*.po po_document/*.po tp/Texinfo/XS/gnulib/m4/*m4 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. However: ./autogen.shdoes 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) gnulib/lib/langinfo.h This should be in .gitignore. -- --Per Bothner address@hidden http://per.bothner.com/
[Prev in Thread] | Current Thread | [Next in Thread] |