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

Fix links for dotted instructions #8

Merged
merged 1 commit into from
Aug 28, 2022
Merged

Conversation

acoglio
Copy link
Contributor

@acoglio acoglio commented Aug 28, 2022

I noticed that clicking on instructions with . in their name (e.g. abs.w) didn't go to the section for the instruction, while things worked fine for instructions without . in their name. Looking at the HTML page source of the GitHub-rendered markdown, it looks like, somehow, the HTML fragments for the instruction sections lose the ., e.g. the fragment name for abs.w is not abs.w but absw. So I removed the dot from the fragments references like (#absw) and the link appear to work in the preview.

I noticed that clicking on instructions with `.` in their name (e.g. `abs.w`) didn't go to the section for the instruction, while things worked fine for instructions without `.` in their name. Looking at the HTML page source of the GitHub-rendered markdown, it looks like, somehow, the HTML fragments for the instruction sections lose the `.`, e.g. the fragment name for `abs.w` is not `abs.w` but `absw`. So I removed the dot from the fragments references like `(#absw)` and the link appear to work in the preview.
@howardwu howardwu merged commit 09d4468 into ProvableHQ:master Aug 28, 2022
@acoglio acoglio deleted the patch-1 branch August 28, 2022 01:16
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