On Sun, 3 Jun 2018, Jakub Jelinek wrote: >> Push the references to our CSS from the MetaHTML style sheet into the >> individual HTML files. > Doesn't this affect the generated pages, like onlinedocs etc.?
In case of /onlinedocs it only affects the index pages which we have under wwwdocs/htdocs/onlinedocs, and those I have updated. The generated pages, such as https://gcc.gnu.org/onlinedocs/gcc-8.1.0/gcc/ are not preprocessed which you can verify by looking at their source code (or their lack of our standard footer). The other set of generated pages is under /install, and those are specially covered in wwwdocs/htdocs/style.mhtml. Is this what you were wondering about? This aspect is one I have been trying to wrap my head around before making this change, and it's probably the trickiest of areas as we move forward with the transition, so I appreciate input like yours. Gerald