[gnome-terminal] build: generated files must be nodist

[Christian Persch <chpe src gnome org>]

commit af888121614c17b79d775250bef4964b44ff0eac
Author: Christian Persch <chpe gnome org>
Date:   Sat Feb 15 15:42:01 2014 +0100

    build: generated files must be nodist

 src/Makefile.am |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/src/Makefile.am b/src/Makefile.am
index 29a0aad..ff5636a 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -324,7 +324,10 @@ gnome_terminal_server_SOURCES += \
        terminal-search-provider.h \
        $(NULL)
 
-endif # ENABLE_SEARCH_PROVIDER
+nodist_gnome_terminal_server_SOURCES += \
+       terminal-search-provider-gdbus-generated.c \
+       terminal-search-provider-gdbus-generated.h \
+       $(NULL)
 
 terminal-search-provider-gdbus-generated.c terminal-search-provider-gdbus-generated.h: 
$(dbusinterfacedir)/org.gnome.ShellSearchProvider2.xml Makefile
        $(AM_V_GEN) $(GDBUS_CODEGEN) \
@@ -333,6 +336,8 @@ terminal-search-provider-gdbus-generated.c terminal-search-provider-gdbus-genera
                        --generate-c-code terminal-search-provider-gdbus-generated \
                        $<
 
+endif # ENABLE_SEARCH_PROVIDER
+
 gsettings_SCHEMAS = \
        org.gnome.Terminal.gschema.xml \
        $(NULL)