| commit | 2c93d1f1f2ab7f7842ebe7985caa8789891a5b68 | [log] [tgz] |
|---|---|---|
| author | David B. Kinder <david.b.kinder@intel.com> | Fri Aug 23 12:40:08 2019 -0700 |
| committer | Anas Nashif <anas.nashif@intel.com> | Fri Aug 23 19:38:44 2019 -0400 |
| tree | 13e4a3a54dd17b1fc165cfdfff58b93a6d055a55 | |
| parent | 93702e2dafedc0c76ec10f8a5ef993c6c221fad3 [diff] |
doc: add sphinx-tabs extension The sphinx-tabs extension provides a tabbed interface within documents that will let us dynamically display information based on a user selection, for example, for instruction variations based on the user's development OS (Linux, macOS, Windows). I'm adding this early so it can get integrated into the CI doc build before subsequent PRs using this extension are submitted. Signed-off-by: David B. Kinder <david.b.kinder@intel.com>