| commit | 896a6966f8bcd281342642375f4eebb28d81f646 | [log] [tgz] |
|---|---|---|
| author | Carles Cufi <carles.cufi@nordicsemi.no> | Thu Aug 16 13:45:59 2018 +0200 |
| committer | Carles Cufí <carles.cufi@nordicsemi.no> | Thu Aug 16 14:40:12 2018 +0200 |
| tree | ee11779cf3fb8b276d32f684f3cf171b424431d0 | |
| parent | 734eda39f5868207bb6a9d0eba346d24e153eba3 [diff] |
doc: Make Sphinx output directory configurable In order to be able to place the generated HTML content directly in a folder of the user's choice, make the Sphinx HTML output folder configurable. Signed-off-by: Carles Cufi <carles.cufi@nordicsemi.no>