-
Notifications
You must be signed in to change notification settings - Fork 685
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 basic support for tagging text in the spec #1769
base: main
Are you sure you want to change the base?
Conversation
This adds two things: 1. Custom CSS to add a subtle dotted underline on hover to any element with an ID starting with `qx_` (an arbitrary prefix unlikely to be used by chance). 2. An example tag `qx_x0_is_zero`, tagging the text that specifies that x0 is hardwired to 0. This just adds a single tag as an exmaple, but the intention is that such tags would be added throughout the spec, allowing coverage, test plans, tests, documentation, etc. to all link to specific parts of the spec. The text of these tags can also be extracted via Asciidoc's docbook output format, enabling more use cases such as monitoring for spec changes.
df82d4a
to
9beeadb
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Will this tags.rb work for all adoc anchor types:
- This is before the parameter definition. [#param-foo-1]#Here's a parameter defined using inline anchors.# This is after the parameter definition.
- [#param-foo-2]
Here's a parameter defined in its own block using the # ID syntax. - [[param-foo-3]]
Here's a parameter defined using an anchor.
@@ -1,3 +1,3 @@ | |||
[submodule "docs-resources"] | |||
path = docs-resources | |||
url = https://github.com/riscv/docs-resources | |||
url = https://github.com/Timmmm/docs-resources |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do you really want to merge in this change? Shouldn't be be using the riscv and not the Timmmm submodule?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No, this was meant to be temporary just so it would pass CI. I'll make a PR for docs-resources
later (yeay submodules!).
@@ -0,0 +1,22 @@ | |||
<style> | |||
/* | |||
Any ID starting with 'qx_' (arbitrarily chosen to be unlikely to |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I thought we had settled on the "manual:" prefix. Can we use that instead of "qx_"? Will this cause any problems for the manual:priv and manual:unpriv anchors I recently added to the first block of the priv and unpriv manuals respectively (they used to have the same anchor name which doesn't work well when both priv and unpriv are in the same book). See #1841 for details.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ah yeah I just haven't got around to updating it to manual:
I will do that.
This adds two things:
qx_
(an arbitrary prefix unlikely to be used by chance).qx_x0_is_zero
, tagging the text that specifies that x0 is hardwired to 0.This just adds a single tag as an exmaple, but the intention is that such tags would be added throughout the spec, allowing coverage, test plans, tests, documentation, etc. to all link to specific parts of the spec.
The text of these tags can also be extracted via Asciidoc's docbook output format, enabling more use cases such as monitoring for spec changes.
See #1397