Improving generation of documentation; Better handling of gcc attributes.