diff options
| author | Juan A. Suarez Romero <[email protected]> | 2017-08-03 12:44:59 +0200 |
|---|---|---|
| committer | Juan A. Suarez Romero <[email protected]> | 2017-08-04 09:54:46 +0200 |
| commit | 3b5743ead5d2492f65abcd4521d84c9f8de469ba (patch) | |
| tree | ad513b5f637eba57d5201179ba12a723a674b515 /src/util | |
| parent | 5ff4c5aef431f06796d69e1ed5151593d022bb89 (diff) | |
util: Makefile.am: add merge_driinfo.py in extra dist
Reviewed-by: Emil Velikov <[email protected]>
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index fa6551eaa56..a8352a9053e 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -70,6 +70,7 @@ CLEANFILES = $(BUILT_SOURCES) EXTRA_DIST = \ drirc \ format_srgb.py \ + merge_driinfo.py \ SConscript \ xmlpool.h \ sha1/README |