Skip to content

Conversation

@cconcolato
Copy link
Collaborator

@cconcolato cconcolato commented Jan 24, 2023

Close #34


Preview | Diff

@cconcolato cconcolato requested a review from kierank January 24, 2023 17:05
@cconcolato
Copy link
Collaborator Author

Ideally we should be able to use now the auto-generated table of terms (https://respec.org/docs/#example-index-of-locally-defined-and-externally-referenced-terms) but because we use mark down and not full HTML it does not seem to work. Maybe we should consider moving to HTML.

@kierank
Copy link
Contributor

kierank commented Jan 24, 2023

I think this is ok but I don't know if mixing html and markdown is good practice

@cconcolato
Copy link
Collaborator Author

I could migrate the whole code to HTML/Respec. Tables would be painful ... but the rest should be fine. Let me know.

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.

Wrong cross-references

3 participants