For some reason, the title page that was being generated from the metadata in PackageInfo.g was again replaced by a hand written one in commit fd5b40f58b50b0c637640ea688b14e5069fdcd25 ? Not sure if this was intentional, but it immediately led to the usual problem of a release where updating the manual was initially forgotten (see commit a3ae465b4a3d348201f9f307874293a57aaee9ea).
This PR once again changes the title page to be generated from metadata; it also updates the metadata to ensure the generated title page matches the manually created one exactly (up to some minor bits: corrected copyright years; added a missing period; and the generated page has the full release date, not just month + year).
It also (partially?) addresses issue #1, which was necessary to get the subtitle on the title page right.
With this in place, during the next release, it will be sufficient to change PackageInfo.g, the version in the manual will be automatically right, as will be the release date, and any other metadata that is in the PackageInfo.g (such as author email addresses -- the one for Paolo Faccin differed between PackageInfo.g and the manual title page; I chose the latter, as I assume it is the correct one).
For some reason, the title page that was being generated from the metadata in
PackageInfo.gwas again replaced by a hand written one in commit fd5b40f58b50b0c637640ea688b14e5069fdcd25 ? Not sure if this was intentional, but it immediately led to the usual problem of a release where updating the manual was initially forgotten (see commit a3ae465b4a3d348201f9f307874293a57aaee9ea).This PR once again changes the title page to be generated from metadata; it also updates the metadata to ensure the generated title page matches the manually created one exactly (up to some minor bits: corrected copyright years; added a missing period; and the generated page has the full release date, not just month + year).
It also (partially?) addresses issue #1, which was necessary to get the subtitle on the title page right.
With this in place, during the next release, it will be sufficient to change
PackageInfo.g, the version in the manual will be automatically right, as will be the release date, and any other metadata that is in thePackageInfo.g(such as author email addresses -- the one for Paolo Faccin differed betweenPackageInfo.gand the manual title page; I chose the latter, as I assume it is the correct one).