Statemate documentation path and help index file SET STM_HELP=<documentation installation path> SET STM_HELP_BASE=<path of stm_help_base file>