Printing man pages in A4 paper