- "manuals/de/catalog/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/catalog/Makefile" ;;
- "manuals/de/concepts/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/concepts/Makefile" ;;
- "manuals/de/console/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/console/Makefile" ;;
- "manuals/de/developers/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/developers/Makefile" ;;
- "manuals/de/install/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/de/install/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/en/catalog/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/en/catalog/Makefile" ;;
- "manuals/en/concepts/Makefile") CONFIG_FILES="$CONFIG_FILES manuals/en/concepts/Makefile" ;;