This involves moving large chuncks of the sources to more deeply nested directories, as there
are some assumptions as to where some config files are located.
Remove the Testsuite Result Verification chapter from the
gnatcov Software Test Results document, part of qualification
kits. This chapter was identified as not belonging to this
document in the course of T624-021.
Change-Id: I6148a0af0f3b8d6c150e8e3998570ec318148ca9
TN: T730-032 (remove test results verification from gnatcov STR)
Fix markup of "Violations" in definition, fix document
title to match do178c designation.
P914-022 (migrate qualkit from 178B to 178C)
Change-Id: I32690fe66fc529a1873ddcdd7896b4c02a01eaa2
Don't call that the Qualification Environment explicitly here. This is
taken care of by the enclosing chapter title.
Minor adjustment in the course of N314-024
- Arrange to produce STR.pdf, matching partname for genbundle.
- Simplify the genbundle latching logic accordingly.
- Arrange to produce a "content.html" toplevel as for other parts.
- Adjust title to be explicit about the qualif material property,
as other parts already do.
MA18-014