This directory contains various scripts that are used by the developers to
build DiCoP distributions. They are not neccessarily usefull for users.