On 2023-Mar-22, Karl O. Pinc wrote:
> Hi,
>
> I rebuilt the HEAD (master) html with:
>
> make STYLE=website html
>
> and what I see locally is still different from
> what is on postgresql.org.
>
> So the build system does indeed seem to be generating
> "different html" that looks un-good compared to what
> Alvaro and I are seeing when we build locally.
Hah, you're right -- the website is missing the closing </p>. Weird.
It is definitely possible that the website is using outdated XSLT
stylesheets. For example, at the top of the page in my local build I
see this:
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><htmlxmlns="http://www.w3.org/1999/xhtml"><head>
whereas the website only says
<!doctype html>
<html lang="en">
<head>
I don't to waste time investigating that, though.
--
Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/
