https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69367
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I think the main specs documentation is the comment starting "Specs are strings containing lines" and it was a mistake to copy it into the manual in the first place; it should not be considered an interface for users.