tree ee4632c7dcdc665fcc3323d53078495fd1afec1d
parent 144579843e0d8bbdea7d29eff4715836abdf0303
author David B. Kinder <david.b.kinder@intel.com> 1533408810 -0700
committer Anas Nashif <anas.nashif@intel.com> 1533913901 -0700

doc: update 1.9 release with RTD theme

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

Also needed to backport changes to the warning filtering system
implemented in later releases, fixes to how the config options were
generated (genrest.py).

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