ecmarkup icon indicating copy to clipboard operation
ecmarkup copied to clipboard

Consider cleaning up the output more

Open bakkot opened this issue 4 years ago • 1 comments

Ecmarkup leaves a lot of stuff in the output document which is only really intended to be consumed by ecmarkup itself - for example, the title attribute of emu-xref tags is used only to control how ecmarkup populates the text of the resulting link, and doesn't really belong in the HTML output. We should consider not doing that.

bakkot avatar Jun 17 '20 06:06 bakkot

We should still probably keep the <emu‑*> tags.

Possibly also prefixing data‑ to some attributes, such as aoid.

ExE-Boss avatar Jun 17 '20 20:06 ExE-Boss