Ariel Marcovitch <arielmarcovitch@xxxxxxxxx> writes: > The format for comment blocks in the second patch is a suggestion. I > realize some people will think the '###' prefix is distasteful. I'm open > to other options as well, I just couldn't think of a better option that > starts with '#', looks different from a menu and can't be confused with > a disabled config. Maybe instead of decorating the comment, it makes sense to decorate (and improve, while at it) the menu? Something along these lines: #- # Foo # CONFIG_FOO=y # Comment. # CONFIG_BAR is not defined # # Foo #- I also don't think a command is likely to confused with disabled option.