{documentation requirements}
The Ada language allows for certain target machine
dependences in a controlled manner. Each Ada implementation must document
many characteristics and properties of the target system. This International
Standard contains specific documentation requirements. In addition, many
characteristics that require documentation are identified throughout
this International Standard as being implementation defined. Finally,
this International Standard requires documentation of whether implementation
advice is followed. The following clauses provide summaries of these
documentation requirements.