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

Add mustard for the String Matching section, and rearrange introducto… #217

Merged
merged 2 commits into from
Aug 5, 2021

Conversation

r12a
Copy link
Contributor

@r12a r12a commented Jul 30, 2021

…ry content for that section.

The mustard needs to be retrofitted back into specdev, since it doesn't match what's currently there.


Preview | Diff

@r12a r12a requested a review from aphillips July 30, 2021 13:05
index.html Outdated
@@ -1802,8 +1812,13 @@ <h5>ASCII Case Fold Normalization Step</h5>

<section id="CanonicalFoldNormalizationStep">
<h5>Unicode Canonical Case Fold Normalization Step</h5>

<div class="req spec" id="matching_ASCIIFoldNormalizationStep">
<p class="advisement">Case sensitivity is not recommended for most specifications but, in the case of an exception where the vocabulary allows non-ASCII characters and which does not want to be sensitive to case distinctions, the <a href="https://www.w3.org/TR/charmod-norm/#CanonicalFoldNormalizationStep" class="termref">'Unicode canonical case fold'</a> approach SHOULD be used.</p>
Copy link
Member

@xfq xfq Jul 31, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should "Unicode canonical case fold" be a relative link (so that we can link to the right place no matter in ED or in /TR)?

(Same below.)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for spotting that. Fixed for this and 4 others.

@r12a r12a merged commit ad7243a into gh-pages Aug 5, 2021
@r12a r12a deleted the r12a-patch-1 branch August 5, 2021 14:28
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.

2 participants