+ "manuals/es/catalog/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/es/catalog/Makefile" ;;
+ "manuals/es/concepts/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/es/concepts/Makefile" ;;
+ "manuals/es/console/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/es/console/Makefile" ;;
+ "manuals/es/developers/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/es/developers/Makefile" ;;
+ "manuals/es/install/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/es/install/Makefile" ;;
+ "manuals/es/problems/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/es/problems/Makefile" ;;
+ "manuals/es/utility/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/es/utility/Makefile" ;;