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 /src | |
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 'src')
-rw-r--r-- | src/udev/.gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/udev/.gitignore b/src/udev/.gitignore index a229430e36..ba112ce218 100644 --- a/src/udev/.gitignore +++ b/src/udev/.gitignore @@ -2,4 +2,4 @@ /keyboard-keys-from-name.gperf /keyboard-keys-from-name.h /keyboard-keys-to-name.h -/keyboard-keys.txt +/keyboard-keys-list.txt |