Ulf Magnusson c15705f180 doc: genrest: Separate turbo mode logic from rest of code ... KCONFIG_TURBO_MODE being twisted up in the normal logic made the code hard to follow and change. Use a separate write_dummy_index() function for KCONFIG_TURBO_MODE instead, and add more documentation for it. Also get rid of options.rst and just write all the symbol link targets directly to the dummy index file, which is a bit simpler. As a small piggybacked improvement for default values, make the heading 'default' instead of 'defaults' when there's only one. The menuconfigs do this too. Signed-off-by: Ulf Magnusson <Ulf.Magnusson@nordicsemi.no>		2019-10-01 19:21:02 +02:00
..
extract_content.py	doc: extract_content.py: Suppress spurious pylint warning	2019-09-07 08:13:22 -04:00
fix_tex.py	doc: fix_tex: Remove redundant 'return'	2019-03-26 07:47:20 -05:00
genrest.py	doc: genrest: Separate turbo mode logic from rest of code	2019-10-01 19:21:02 +02:00
restore_modification_times.py