Re: home.shtml: Make checks whether the HTML is decently generated.

[Yavor Doganov]

On Tue, Feb 05, 2008 at 01:10:12PM +0200, Kaloian Doganov wrote:
> Which tool you are using to validate XHTML?

None.  Usually, I can figure out only by observing the source with 
unexpanded directives, but it is hard for the homepage.

> I've played a little bit with xmllint and I found that the following
> script might be useful 

The script is great, but I think:

1) You should modify it to operate from prep/gnun, like make-prototype.
2) Requires (naturally) header.xx.html and footer.xx.html to be under 
   under /server.  We can just amend the sync rule to copy them for 
   those languages that are necessary, without keeping them in CVS 
   (there will be no problem at all when GNUN operates in www).
3) We can then introduce error-checking, for example VALIDATE=yes for 
   msgfmt checks plus XHTML-validity for the originals, and 
   VALIDATE=hard to validate the generated translations.  Just an idea, 
   the variable name(s) and values/behaviour will be discussed.

(introduces dependencies on libxml2-utils

fp has 2.6.24, which should suffice.

> w3c-dtd-xhtml):

This is missing, but I could copy the files in $HOME.  I'm not sure if 
xmllint will find everything (and what options except --path are 
necessary), though.

It would be excellent if we perform all these checks at build time -- 
one day gnu.org will be 100% valid (Foo)HTML without extra effort.