mirror/ede
1
0
Fork 0
mirror of https://github.com/edeproject/ede.git synced 2023-08-10 21:13:03 +03:00
Code Issues Projects Releases Wiki Activity

Added INSTALL_ICON_THEMES option.

Browse Source
This commit is contained in:
Sanel Zukan 2012-05-17 13:31:34 +00:00
parent 0e592d6e0c
commit a786d9ea7a
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
data/icon-themes/Jamfile
View File

@ -57,6 +57,10 @@ if $(BUILD_ICON_THEMES) = 1 {
InstallIconTheme "edeneu" : $(ICON_SIZES) : $(ICON_CATEGORIES) ; InstallIconTheme "edeneu" : $(ICON_SIZES) : $(ICON_CATEGORIES) ;
} }
if $(INSTALL_ICON_THEMES) = 1 {
InstallIconTheme "edeneu" : $(ICON_SIZES) : $(ICON_CATEGORIES) ;
}
# install kbflags icons # install kbflags icons
KBFLAGS_ICONS_DIR = [ FDirName "kbflags" "21x14" ] ; KBFLAGS_ICONS_DIR = [ FDirName "kbflags" "21x14" ] ;
KBFLAGS_ICONS = [ Wildcard $(KBFLAGS_ICONS_DIR) : *.png : $(KBFLAGS_ICONS_DIR) ] ; KBFLAGS_ICONS = [ Wildcard $(KBFLAGS_ICONS_DIR) : *.png : $(KBFLAGS_ICONS_DIR) ] ;