[gnome-shell] data: Dist portals keyfile

[Florian Müllner <fmuellner src gnome org>]

commit 5b79f657eb4457bf1a6ba5ac21aac853d40f62a4
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Jul 20 21:03:50 2016 +0200

    data: Dist portals keyfile
    
    Whoops, forgot that in the previous commit :-(

 data/Makefile.am |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/data/Makefile.am b/data/Makefile.am
index f681ab4..7b569b1 100644
--- a/data/Makefile.am
+++ b/data/Makefile.am
@@ -109,6 +109,7 @@ convert_DATA = gnome-shell-overrides.convert
 EXTRA_DIST =                                           \
        org.gnome.Shell.desktop.in.in                   \
        gnome-shell-extension-prefs.desktop.in.in       \
+       $(portal_DATA)                                  \
        $(introspection_DATA)                           \
        $(menu_DATA)                                    \
        $(convert_DATA)                                 \