On 2023-Nov-08, Peter Eisentraut wrote: > I think we could build doc/src/sgml/postgres-full.xml by default. That > takes less than 0.5 seconds here and it's an intermediate target for html > and man.
If that detects problems like the id attributes you mentioned, apart from the other checks in the `xmllint --noout`, then that WFM. At least with the makefile the command to produce postgres-full.xml includes --valid, so I think we're covered. -- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/ "Having your biases confirmed independently is how scientific progress is made, and hence made our great society what it is today" (Mary Gardiner)
