Print

Print


> 
> 
> An extra embellishment I've just thought of is to add a test to see whether teitohtml has been updated, thus:
> 
> for file in *.xml; do
>   if  [ "${filename%.*}.html" -ot "$file" -o "${filename%.*}.html" -ot "teitohtml" ]
>   then

It's unlikely that teitohtml is in the same directory? But more importantly, the script seldom changes, but the underlying XSL  may well change, so this test is not very valuable.
Harder to check that xsl...

Sebastian
>