added html help file option