This quick guide can be used to inform your workplace during World Mental Health Day, which is held annually on 10 October.