[gnome-terminal] build: Fix dist

[Christian Persch <chpe src gnome org>]

commit ca7dfafb4e7c47f744db6e9e07e285255ba48ee5
Author: Christian Persch <chpe src gnome org>
Date:   Mon Nov 13 23:10:51 2017 +0100

    build: Fix dist

 src/Makefile.am |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/src/Makefile.am b/src/Makefile.am
index b427237..68de3ec 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -350,7 +350,9 @@ CLEANFILES = \
 
 EXTRA_DIST = \
        terminal.about \
-       terminal-menus.ui \
+       terminal-appmenu.ui \
+       terminal-menubar.ui \
+       terminal-notebook-menu.ui \
        terminal-window.ui \
        terminal.gresource.xml \
        terminal-marshal.list \
@@ -363,7 +365,6 @@ EXTRA_DIST = \
        profile-preferences.ui \
        terminal.common.css \
        $(about_DATA) \
-       $(uimanager_DATA) \
        $(builder_DATA) \
        $(gsettings_SCHEMAS) \
        $(NULL)