Re: How to create a new doc comment style?

[Leo <sd...@gm...>]

After some trial and error, it seems c-doc-comment-style cannot be set
from a style which contradicts the documented behaviour. Is this a bug?

Leo