Isn't the main spec generated by an emu file?

I didn't found the .emu file in the

The format is “ecmarkup”, but while I’d prefer it come from a file marked .emu, the ecmarkup for the spec is in “spec.html”.

1 Like

Oh sorry I didn't mention that, I thought the html file is a pure html file

That a file named ".html" would be pure HTML is a quite reasonable assumption to make; unfortunately it's a decision made long ago that's unlikely to be worth changing.