Man pages not installed

[cwfoo]

None of the man pages are installed by src/Makefile. Is that the intended behavior?

src/Makefile.inc defines MANDIR, but it is not used elsewhere.

mosml/src/Makefile.inc

Lines 18 to 21 in ee355b2

	### Where to install the man pages
	# Man pages for commands go in $(MANDIR)/man$(MANEXT)
	MANDIR=${PREFIX}/man
	MANEXT=1