Skip to content
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

REC Preparation v1 #519

Merged
merged 5 commits into from
Oct 3, 2023
Merged

REC Preparation v1 #519

merged 5 commits into from
Oct 3, 2023

Conversation

mmccool
Copy link
Contributor

@mmccool mmccool commented Oct 2, 2023

Prepare Discovery specification for REC publication.

  • index.html copied to publication/6-rec, file updated to REC status, previously as PR, dates updated
  • Resolve missing external file inclusions (files inlined)
  • Add errata link (currently pointing at MD file in github repo, we should discuss where and in what format this file should be)
  • Export as static (may have to redo as make changes to index.html)
  • Run HTML tidy, generate Overview.html (and errs.txt)

To do:

  • Testing (various tools...) - need to make available via URL first

@mmccool mmccool self-assigned this Oct 2, 2023
@mmccool mmccool requested a review from ashimura October 2, 2023 15:33
@mmccool mmccool marked this pull request as ready for review October 3, 2023 17:32
@mmccool mmccool changed the title WIP: REC Preparation REC Preparation v1 Oct 3, 2023
@mmccool
Copy link
Contributor Author

mmccool commented Oct 3, 2023

Merging so can get files into staging area and use github.io URL for testing with remaining tools.

@mmccool mmccool merged commit c5c01a2 into w3c:main Oct 3, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant