example: options for running docs or dialyze