- "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" ;;
- "manuals/fr/catalog/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/fr/catalog/Makefile" ;;
- "manuals/fr/concepts/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/fr/concepts/Makefile" ;;
+ "manuals/de/console/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/console/Makefile" ;;
+ "manuals/de/main/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/main/Makefile" ;;
+ "manuals/de/developers/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/developers/Makefile" ;;
+ "manuals/de/problems/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/problems/Makefile" ;;
+ "manuals/de/utility/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/utility/Makefile" ;;
+ "manuals/de/misc/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/misc/Makefile" ;;