tree 4d4a2029feb771116a070518a5892f166e7a5476
parent f58d9caba242e52a4e0150dd1be0c99e239a9d42
author David B. Kinder <david.b.kinder@intel.com> 1533162764 -0700
committer Anas Nashif <anas.nashif@intel.com> 1533914298 -0700

doc: update 1.12 release with RTD theme

We've replaced the "zephyr-docs" theme with a simpler read-the-docs
thema starting with the 1.13 release.  This PR retrofits the theme
changes back onto this 1.12 release and ignores attempts to use the
zephyr-docs theme controlled by the make DOC_TAGS option.

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