25515
25515
"plugins/keyboard_plugin/Makefile" ) CONFIG_FILES="$CONFIG_FILES plugins/keyboard_plugin/Makefile" ;;
25516
25516
"plugins/mouse_plugin/Makefile" ) CONFIG_FILES="$CONFIG_FILES plugins/mouse_plugin/Makefile" ;;
25517
25517
"plugins/screensaver_plugin/Makefile" ) CONFIG_FILES="$CONFIG_FILES plugins/screensaver_plugin/Makefile" ;;
25519
25518
"plugins/ui_plugin/Makefile" ) CONFIG_FILES="$CONFIG_FILES plugins/ui_plugin/Makefile" ;;
25520
25519
"xfce-mcs-plugins.spec" ) CONFIG_FILES="$CONFIG_FILES xfce-mcs-plugins.spec" ;;
25521
25520
"depfiles" ) CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;;