diff options
author | Josselin Mouette <joss@debian.org> | 2014-12-12 21:31:11 +0000 |
---|---|---|
committer | Josselin Mouette <joss@debian.org> | 2014-12-12 21:31:11 +0000 |
commit | 821191f2d1f060ca491d4490d5839ec399bd777a (patch) | |
tree | 257664f44d2066aecdd4e1d7b426c7f6d4fc6f57 /Makefile | |
parent | 48644f3f1cb731d7db7d955780ca20712ad96d56 (diff) |
* Remove old GDM theme.
* Add GDM/GNOME lockscreen based on Lines.
* gsettings-override: set it as the default.
* Update gnome-backgrounds.xml. Closes: #772944.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -106,10 +106,6 @@ install: # GNOME background descriptor mkdir -p $(DESTDIR)/usr/share/gnome-background-properties $(INSTALL) gnome-backgrounds.xml $(DESTDIR)/usr/share/gnome-background-properties/debian.xml - # GDM 3 theme - mkdir -p $(DESTDIR)/usr/share/gdm/dconf - $(INSTALL) gdm3/background.svg $(DESTDIR)/usr/share/images/desktop-base/login-background.svg - $(INSTALL) gdm3/10-desktop-base-settings $(DESTDIR)/usr/share/gdm/dconf/ # grub $(INSTALL) grub/lines-grub.png $(DESTDIR)/usr/share/images/desktop-base/ |