opts: makefile now includes all current man pages