id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
408	Incorrect mandir option in Install.sh	rainer	rainer	Option for man directory should be `--mandir` rather than `--with-mandir` (reported by David).	defect	closed	minor	4.2.0	main		fixed