From 5b79f657eb4457bf1a6ba5ac21aac853d40f62a4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 20 Jul 2016 21:03:50 +0200 Subject: [PATCH] data: Dist portals keyfile Whoops, forgot that in the previous commit :-( --- data/Makefile.am | 1 + 1 file changed, 1 insertion(+) diff --git a/data/Makefile.am b/data/Makefile.am index f681ab424..7b569b1b8 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) \