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

**URL:** <https://es.discourse.group/t/isnt-the-main-spec-generated-by-an-emu-file/284>\
**Category:** Spec Reading\
**Created:** [March 30, 2020, 2:20am UTC](https://es.discourse.group/t/isnt-the-main-spec-generated-by-an-emu-file/284 "2020-03-30T02:20:01Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![JackWorks](https://yyz2.discourse-cdn.com/free1/user_avatar/es.discourse.group/jackworks/32/260_2.png) [@JackWorks](https://es.discourse.group/u/JackWorks)\
**Post date:** [March 30, 2020, 2:20am UTC](https://es.discourse.group/t/isnt-the-main-spec-generated-by-an-emu-file/284/1 "2020-03-30T02:20:01Z")

</div>

I didn't found the `.emu` file in the [https://github.com/tc39/ecma262](https://github.com/tc39/ecma262)

---

<div class="post-metadata">

**Author:** ![ljharb](https://yyz2.discourse-cdn.com/free1/user_avatar/es.discourse.group/ljharb/32/8_2.png) [@ljharb](https://es.discourse.group/u/ljharb)\
**Post date:** [March 30, 2020, 2:35am UTC](https://es.discourse.group/t/isnt-the-main-spec-generated-by-an-emu-file/284/2 "2020-03-30T02:35:01Z")

</div>

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”.

---

<div class="post-metadata">

**Author:** ![JackWorks](https://yyz2.discourse-cdn.com/free1/user_avatar/es.discourse.group/jackworks/32/260_2.png) [@JackWorks](https://es.discourse.group/u/JackWorks)\
**Post date:** [March 30, 2020, 2:52am UTC](https://es.discourse.group/t/isnt-the-main-spec-generated-by-an-emu-file/284/3 "2020-03-30T02:52:37Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![ljharb](https://yyz2.discourse-cdn.com/free1/user_avatar/es.discourse.group/ljharb/32/8_2.png) [@ljharb](https://es.discourse.group/u/ljharb)\
**Post date:** [March 30, 2020, 8:04am UTC](https://es.discourse.group/t/isnt-the-main-spec-generated-by-an-emu-file/284/4 "2020-03-30T08:04:36Z")

</div>

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.