# build/redo_scripts/. For details on this version, see:
# - <http://news.dieweltistgarnichtso.net/bin/redo.html>
# - <http://news.dieweltistgarnichtso.net/bin/redo-ifchange.html>
# build/redo_scripts/. For details on this version, see:
# - <http://news.dieweltistgarnichtso.net/bin/redo.html>
# - <http://news.dieweltistgarnichtso.net/bin/redo-ifchange.html>