manual_system_name

manual_system_name

Defined in tcl/manual-defs.tcl

returns the system name for the manual system for context bars, using either the value supplied in the ini file or a default value of Manuals