Notes on the PDF generation here.

* TEMPORARY FILE NAMES *
This uses temporary HTML files which have been RENAMED from the actual HTML files.
I put the token "temp-" in front of each of the eight PDF file names.

The command lines used in WKHTMLTOPDF (which are constructed in "pdf-generation-basic-remote-temp-ps01.txt") use these modified HTML names as the source HTML.

Reason - Apparently, WKHTMLTOPDF modifies all URIs/hyperlinks which are the same as the source HTML, so that they point to the newly-generated PDF document. This is not compatible with our process, since we include the HTML source URI on the front pages (as "This stage/version", and in the Citation format), and WKHTMLTOPDF changes this to a link to the PDF document.

We avoid having WKHTMLTOPDF change that URI's hyperlink into a PDF link by the simple process of *changing the name* of the HTML file so it is not equivalent to the "This version/stage" URI. That is, WKHTMLTOPDF no longer applies its logic to "change any hyperlink which is the same as the source HTML to link to PDF instead", because there are no hyperlinks which are the same as the source HTML. (The source HTML will use the filename "temp-<filename>.html" during this process.)

*Special change to logo source during PDF generation*
In attempting to generate the PDF for Part 1 in previous PS01, WKHTMLTOPDF consistently reported errors in including the logo and following image. I think this is a timing issue - between the logo file's retrieval via HTTPS and the following image being somewhat large, it somehow hangs up.
- This issue is avoided here in OS publication by modifying all of the Parts (temporary html versions) to retrieve the logo from the /images subdirectory (which obviously involves adding that image into the directory). This avoids the apparent timing issue.
The logo source substitution is as follows - applied simultaneously to all Parts using "replace" (or substitute).
remove: https://docs.oasis-open-projects.org/templates/logo/open-projects-logo.png
replace with: images/open-projects-logo.png

NOTE: Now (new for OS) using the new 2020-style logo:  open-projects-logo-2020-large.png

Note that the modified HTML is NOT published - only used to generate the PDF.

* Generating the PDF from the temporary HTML installation *
All of the "temp-xxx.html" files, along with the /images directory (including the logo file), are temporarily loaded into the OASIS Library at https://docs.oasis-open-projects.org/oslc-op/core/v3.0/os/.
[this involvies using the staging server and the "olop-sync" commands, documented elsewhere]
These temporary files are used to generate PDF files in my local directory using a command like:
- wkhtmltopdf [stuff omitted] https://docs.oasis-open-projects.org/oslc-op/core/v3.0/os/temp-oslc-core.html oslc-core.pdf (where the final two arguments are the source and destination files)

Items to check after PDF generation:
- correct pagination between sections (due to handling of <hr> tags)
- no URIs/hyperlinks switched to PDF

*Remove the temporary files*
- Remove all the temporary files from staging server and OASIS Library after generating the PDFs.
- Delete from staging server and use olop-sync-delete-dryrun / olop-sync-delete to remove from OASIS Library.
- Probably best to just remove the whole OS directories. (This resets the timestamp of the /v3.0/ directory, but this is always set correctly duing the normal installation process, which follows after the PDFs are produced.)