aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJuan A. Suarez Romero <[email protected]>2017-08-03 12:44:59 +0200
committerJuan A. Suarez Romero <[email protected]>2017-08-04 09:54:46 +0200
commit3b5743ead5d2492f65abcd4521d84c9f8de469ba (patch)
treead513b5f637eba57d5201179ba12a723a674b515
parent5ff4c5aef431f06796d69e1ed5151593d022bb89 (diff)
util: Makefile.am: add merge_driinfo.py in extra dist
Reviewed-by: Emil Velikov <[email protected]>
-rw-r--r--src/util/Makefile.am1
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