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.

Sign up for GitHub

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

Jump to bottom

Add Glossary of terms #31

Open
yippyskippy opened this issue Nov 29, 2023 · 0 comments
Open

Add Glossary of terms #31

yippyskippy opened this issue Nov 29, 2023 · 0 comments
Assignees
@yippyskippy

Comments

@yippyskippy
Copy link
Contributor

While working on #28 many of the glossary terms in old Sphincs documentation lost in converting formats. Using shortcodes and perhaps this "abbr" module is likely best way to re-add hoverable abbreviated terms to the Documentation.
@yippyskippy yippyskippy self-assigned this Nov 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yippyskippy yippyskippy

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yippyskippy