David B. Kinder f01601b935 doc: fix title generation for config options pages ... Use the ReST metadata document title directive instead of embedded javascript to assign a title to the configuration options (Kconfig) reference guide pages. This will generate a static <title> directive in the generated HTML instead of relying on javascript. Change-Id: Ib70a8b1f641a5ed72be774f0f5b2a93a2d1c9b8c Signed-off-by: David B. Kinder <david.b.kinder@intel.com>		2016-09-20 20:30:18 +00:00
..
genrest.py	doc: fix title generation for config options pages	2016-09-20 20:30:18 +00:00
kconfiglib.py	doc: declare CONFIG_XYZ with .. option:: vs a header	2016-06-14 20:00:51 +00:00