tree 8bb19591eb3690492e9b6389a2029dbc829f2838
parent e33ca5c9f8867af91318ad4c40d22193a4875e1a
author Jonathan Koren <jdkoren@gmail.com> 1565632805 -0700
committer Keerti Parthasarathy <keertip@users.noreply.github.com> 1565632805 -0700

Add configuration option for output format (#1996)

Adds a configuartion option to specify the output format for generated
docs, defaulting to 'html'. Hidden from help usage for the time being.