tools: add dummy scripts for help2man and makeinfo