David B. Kinder be49790ff3 doc: fix handling of OPTION directive in genrest ... The genrest.py script used to create configuration options documentation from the KConfig files generates slightly incorrect OPTION directives (with an extra colon at the end). Sphinx 1.5 didn't care, but Sphinx 1.6 does, so fix this now in preparation for upgrading Sphinx to the current version. Signed-off-by: David B. Kinder <david.b.kinder@intel.com>		2017-12-02 10:16:03 -05:00
..
genrest	doc: fix handling of OPTION directive in genrest	2017-12-02 10:16:03 -05:00
extract_content.py	doc: Fix encoding problem	2017-02-09 23:37:44 +00:00
filter-doc-log.sh	doc: report which warnings/errors are new	2017-11-13 17:45:42 -05:00