-
Notifications
You must be signed in to change notification settings - Fork 34
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Handle Web IDL #31
Handle Web IDL #31
Conversation
See whatwg/webidl#1018 for context.
One thing this fails to do is run npm install. Is this the first time that is needed? Should I just run npm install each time or do we want to handle that differently? @domenic? |
I think the best setup would be to not run So, that'd require some additional work in |
WebIDL's makefile was running Also, there's the |
I'm happy with this now. I've not tackled |
I'm not sure why I added the "do not merge yet" label, but I think this can be merged. I've also run it for whatwg/webidl#1018 and included the output therein. I could change the node-version back to 16 if desired. I noticed we use 14 elsewhere which is why I went with that here. Up to @domenic. Note that this PR now also adds the ability to run |
See whatwg/webidl#1018 for context.
Disclaimer: I haven't actually gotten
npm run pp-webidl -- --input index.html
to run locally yet.