"manual/version.tex" ) CONFIG_FILES="$CONFIG_FILES manual/version.tex" ;;
"manual-de/Makefile" ) CONFIG_FILES="$CONFIG_FILES manual-de/Makefile" ;;
"manual-de/version.tex" ) CONFIG_FILES="$CONFIG_FILES manual-de/version.tex" ;;
"manual/version.tex" ) CONFIG_FILES="$CONFIG_FILES manual/version.tex" ;;
"manual-de/Makefile" ) CONFIG_FILES="$CONFIG_FILES manual-de/Makefile" ;;
"manual-de/version.tex" ) CONFIG_FILES="$CONFIG_FILES manual-de/version.tex" ;;