rm -rf -- 'manual.html'
rm -rf -- 'manual.pdf'
rm -rf -- 'manual.ps'