Delete again all files in docu/dist, and ensure that they are not commited again.