diff options
| author | Rico Tzschichholz <ricotz@ubuntu.com> | 2013-09-13 15:11:04 +0200 |
|---|---|---|
| committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2013-09-13 15:11:04 +0200 |
| commit | c3f96cf0e8325ff17104e1649c47fb2f439fe890 (patch) | |
| tree | 0976f15e0b5e7bd2c71c1c829f5f8227e4c3a469 /data | |
| parent | df09109d81f71c47a8d64086c052d4006d90be1e (diff) | |
data: Fix make dist and conditionally install gnome-shell-wayland
Diffstat (limited to 'data')
| -rw-r--r-- | data/Makefile.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/data/Makefile.am b/data/Makefile.am index 6e366660..439b849f 100644 --- a/data/Makefile.am +++ b/data/Makefile.am @@ -2,7 +2,11 @@ wandadir = $(pkgdatadir) dist_wanda_DATA = wanda.png desktopdir=$(datadir)/applications -desktop_DATA = gnome-shell.desktop gnome-shell-wayland.desktop gnome-shell-extension-prefs.desktop +desktop_DATA = gnome-shell.desktop gnome-shell-extension-prefs.desktop +if HAVE_MUTTER_WAYLAND +desktop_DATA += gnome-shell-wayland.desktop +endif HAVE_MUTTER_WAYLAND + # We substitute in bindir so it works as an autostart # file when built in a non-system prefix @@ -83,6 +87,7 @@ convert_DATA = gnome-shell-overrides.convert EXTRA_DIST = \ gnome-shell.desktop.in.in \ + gnome-shell-wayland.desktop.in.in \ gnome-shell-extension-prefs.desktop.in.in \ $(introspection_DATA) \ $(menu_DATA) \ @@ -92,6 +97,7 @@ EXTRA_DIST = \ CLEANFILES = \ gnome-shell.desktop.in \ + gnome-shell-wayland.desktop.in \ gnome-shell-extension-prefs.in \ $(desktop_DATA) \ $(keys_DATA) \ |