diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-03-03 08:33:15 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-03-04 22:47:19 -0500 |
| commit | 9e4ded3064e9a683e004ff8f6a8ce53ac20b79d7 (patch) | |
| tree | 96092ea30866f6151757e254731c446d8e2e2feb /.gitignore | |
| parent | cbecf9bf929318533fea798c57c10efcf6b2b447 (diff) | |
build-sys: generate CLEANFILES from EXTRA_DIST
Everything that is generated can be assumed to belong to CLEANFILES,
which means that the original file has to be in EXTRA_DIST. Simplify
the rules by generating as in $subject.
We have less lists to adjust manually, and 'make clean' actually
removes more stuff that before.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions