Closed HelenaSabel closed 3 years ago
As discussed in our last Stylesheets meeting, we are going to format the HTML outputs using tidy instead of xmllint due to the changes generated by the latter when formatting HTML5 outputs.
tidy
xmllint
Looks good to me. I've already put it on my Jenkins.
Thank you @HelenaSabel !
As discussed in our last Stylesheets meeting, we are going to format the HTML outputs using
tidy
instead ofxmllint
due to the changes generated by the latter when formatting HTML5 outputs.