[postgis-tickets] [PostGIS] #5561: Automate validation of html version of postgis manual

Sun Oct 1 00:57:06 PDT 2023

#5561: Automate validation of html version of postgis manual
------------------------------------+--------------------------------------
  Reporter:  strk                   |      Owner:  strk
      Type:  task                   |     Status:  new
  Priority:  medium                 |  Milestone:  PostGIS 3.5.0
 Component:  build/upgrade/install  |    Version:  master
Resolution:                         |   Keywords:  documentation, testsuite
------------------------------------+--------------------------------------
Comment (by strk):

 Some errors are found pretty early by RelaxNG but I'm not sure they are
 real errors:

 {{{
 # xmllint --noout --relaxng /usr/share/xml/xhtml-relaxng/xhtml.rng html
 /postgis-en.html
 html/postgis-en.html:2: element div: Relax-NG validity error : Element
 body has extra content: div
 html/postgis-en.html fails to validate
 }}}

 That's the very first <div> after <body>, which sounds perfectly fine to
 me ...

 Using the "basic" RelaxNG finds other kind of invalidities:
 {{{
 $ xmllint --noout --relaxng /usr/share/xml/xhtml-relaxng/xhtml-basic.rng
 html/postgis-en.html
 html/postgis-en.html:33: element a: Relax-NG validity error : Invalid
 attribute target for element a
 html/postgis-en.html:39: element img: Relax-NG validity error : Element
 img failed to validate attributes
 html/postgis-en.html:40: element img: Relax-NG validity error : Element
 img failed to validate attributes
 html/postgis-en.html:41: element img: Relax-NG validity error : Element
 img failed to validate attributes
 html/postgis-en.html:41: element a: Relax-NG validity error : Invalid
 attribute target for element a
 html/postgis-en.html:43: element a: Relax-NG validity error : Invalid
 attribute target for element a
 html/postgis-en.html:43: element hr: Relax-NG validity error : Did not
 expect element hr there
 html/postgis-en.html:43: element hr: Relax-NG validity error : Element div
 has extra content: hr
 html/postgis-en.html:269: element section: Relax-NG validity error : Did
 not expect element section there
 html/postgis-en.html:269: element section: Relax-NG validity error :
 Element div has extra content: section
 html/postgis-en.html fails to validate
 }}}
-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/5561#comment:2>
PostGIS <http://trac.osgeo.org/postgis/>
The PostGIS Trac is used for bug, enhancement & task tracking, a user and developer wiki, and a view into the subversion code repository of PostGIS project.