Simplify terminal manpage generation

• Remove translations from the manpage as there is no translations and feature was removed 2 years ago
• Simplify Makefile. We don't need to pass --enable-gen-doc for distcheck anymore !
• This will help our automated CI !