if get_option('plugin')
  subdir('pkgconfig')
endif

if get_option('gtk-frontend')
  subdir('icons')
  subdir('misc')
  subdir('man')
elif get_option('theme-manager')
  subdir('misc')
endif