[media-source] Drop generated versions from the repo? (#239)

tidoust has just created a new issue for https://github.com/w3c/media-source:

== Drop generated versions from the repo? ==
@wolenetz, @mwatson2,

There was some discussion during TPAC on switching MSE (and EME) to the latest version of ReSpec. There is no a priori problem doing so, although some editorial updates are likely going to be necessary. Happy to help if needed.

On top of that, I note that the structure of the repository is a bit unusual. Common practice with Respec documents is to only commit the source spec. This repository contains both the source (files ending with `-respec`) and the generated version of the spec. There may be good reasons why things got done that way. I personally find it a bit clumsy since it means both representations need to be kept in sync manually.

Do you want things to stay that way? If not, I suggest to replace the generated versions with the source files, and to get rid of the `-respec` files. Happy to prepare a PR for that, but I wanted to get your perspective first.

Also, what is the difference between `index.html` and `media-source.html`?



Please view or discuss this issue at https://github.com/w3c/media-source/issues/239 using your GitHub account

Received on Thursday, 26 September 2019 14:47:02 UTC