-
Notifications
You must be signed in to change notification settings - Fork 63
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
PR Publication Prep #1837
PR Publication Prep #1837
Conversation
Call of 07.06:
|
We agree to merge this PR. |
@egekorkan Did you run HTML tidy also? I did this in the past for CR publication and it caught a lot of HTML errors (fixes for which I then merged back into the main doc, but more may have been introduced since). |
Yes! :) I have fixed quite some more beforehand as well |
This Pull Request creates all the static files needed for the publication
Note: these links are not necessarily up to date since they use the commit hash.
Changes I had to do to index.html:
schema.org
extensions to use HTTPS (i.e. http://schema.org to https://schema.org)Preview | Diff