Ulf Magnusson 60c395024f genrest: Include all parents in menu paths ... Previously, symbols not defined with 'menuconfig' with children weren't listed in the children's menu paths. It was deliberate, but it's probably an anti-feature in retrospect, because it can make it harder to find stuff by following the menu path. Don't try to be clever and just list all the parent nodes in the menu path. Signed-off-by: Ulf Magnusson <Ulf.Magnusson@nordicsemi.no>		2019-04-18 08:47:15 -04:00
..
extract_content.py	scripts: Fix risky uses of non-raw regex strings in Python scripts	2019-03-28 14:41:32 -05:00
fix_tex.py	doc: fix_tex: Remove redundant 'return'	2019-03-26 07:47:20 -05:00
genrest.py	genrest: Include all parents in menu paths	2019-04-18 08:47:15 -04:00
restore_modification_times.py	doc: fix incremental build by fixing doxygen output mtime	2019-02-13 06:58:52 -06:00