change makefile name generation

explicitly pass in the manpage name.  Otherwise the man page name
selection is hard to control and the docbook xml we're generating
doesn't quite line up with what xmlto wants