[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
can we remove generated files from git?
|
From: |
Per Bothner |
|
Subject: |
can we remove generated files from git? |
|
Date: |
Tue, 1 Jan 2019 16:06:33 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.1 |
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.
--
--Per Bothner
address@hidden http://per.bothner.com/
- can we remove generated files from git?,
Per Bothner <=