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 !
Edited by Gaël Bonithon