diff options
author | Aurélien COUDERC <zecoucou@free.fr> | 2016-11-09 22:42:31 +0000 |
---|---|---|
committer | Aurélien COUDERC <zecoucou@free.fr> | 2016-11-09 22:42:31 +0000 |
commit | 3da0f5d5d14cf553226ac8ccdd717e0bcea3abcd (patch) | |
tree | dd2492b2c7bb71f27c0641dcd10290c8e911b7ad /Makefile | |
parent | 0c6f55711f64047744a960c99e04a173a1d19ff1 (diff) |
Finish migrating GRUB alternatives to theme packs, and generate PNGs from SVGs for all themes
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -1,4 +1,4 @@ -GRUB_THEMES=lines-theme/grub softwaves-theme/grub +GRUB_THEMES=softwaves-theme/grub lines-theme/grub joy-theme/grub spacefun-theme/grub DEFAULT_BACKGROUND=desktop-background BACKGROUNDS=$(wildcard backgrounds/*.png backgrounds/*.jpg backgrounds/*.svg backgrounds/*.tga backgrounds/*.xml) @@ -80,9 +80,6 @@ install-local: $(INSTALL) gnome-backgrounds.xml $(DESTDIR)/usr/share/gnome-background-properties/debian.xml # grub - $(INSTALL) grub/joy-grub.png $(DESTDIR)/usr/share/images/desktop-base/ - $(INSTALL) grub/spacefun-grub.png $(DESTDIR)/usr/share/images/desktop-base/ - $(INSTALL) grub/spacefun-grub-widescreen.png $(DESTDIR)/usr/share/images/desktop-base/ $(INSTALL) grub/grub_background.sh $(DESTDIR)/usr/share/desktop-base/ # plymouth |