> > Ignore __attribute__ because it was wrongly parsed as an identifier. > > What about prefixing the title by "doc: " and remove the dot at the > end of the line ? Sorry, please ignore my first comment, it was not the title...