Makefile: use --detailed-help to produce the man page.