Update W3C links - Githubissues

TEIC / TEI

The Text Encoding Initiative Guidelines

https://www.tei-c.org

Other

276 stars 88 forks source link

Update W3C links #2238

Closed rettinghaus closed 2 years ago

rettinghaus commented 2 years ago

This PR just changes http to https for links to the W3C and the Unicode Technical Site in the Guidelines and the Specs.

sydb commented 2 years ago

Note that the checks that have failed are failing due to #2232, not this PR. (Testing locally now — if local checks pass and I hear no objections, will just merge.)

sydb commented 2 years ago

Passes tests locally (in a docker container, including the “Check validity with special-purpose XSL code, looking for bad links etc” bit), except for the break caused by #2232. So I plan to merge this shortly …