Makefile.in: add targets for man page generation