repo maintenance

delete the pdf ... txt version on the way