"make man" uses sphinx to create a man page. but it is the complete docs (like what we have in html). is this intended or should it be something shorter?