Property definitions

nitc $ WarningNoManFile :: defaultinit
# No man file for `mentity`
class WarningNoManFile
	super CmdWarning

	# MEntity provided
	var mentity: MEntity

	redef fun to_s do return "No man file for `{mentity.full_name}`"
end
src/doc/commands/commands_main.nit:239,1--247,3