tree 6c408d330ee7547bfc55a3219db92c9528670c4b
parent c90440924f66d6a844cf5e07279fca1949bd2f5d
author David B. Kinder <david.b.kinder@intel.com> 1495136086 -0700
committer Anas Nashif <nashif@linux.intel.com> 1495243515 -0400

doc: identify release version in generated docs

It's not obvious which kernel release version you're reading about in the
documentation.  Add the version info in the breadcrumb header (instead
of "Home / Docs / Subsystems /" show as
"Home / Docs / 1.8 / Subsystems /").

(Depends on docs-theme PR-9, but can be merged now with no ill-effect)

Signed-off-by: David B. Kinder <david.b.kinder@intel.com>